1. Proof rules for the programming language Euclid

   • R. L. London
   • J. V. Guttag
   • G. J. Popek

   OriginalPaper Pages: 1 - 26

2. The algebraic specification of abstract data types

   • J. V. Guttag
   • J. J. Horning

   OriginalPaper Pages: 27 - 52

3. Algebraic program testing

   • William E. Howden

   OriginalPaper Pages: 53 - 66

4. Bounded quantification and relations recognizable by finite automata

   • Teuvo Laurinolli

   OriginalPaper Pages: 67 - 78

5. The ultimate equivalence problem for DOL systems

   • Karel Culik II

   OriginalPaper Pages: 79 - 84

6. Information management in context trees

   • Carlo Montangero
   • Giuliano Pacini
   • Franco Turini

   OriginalPaper Pages: 85 - 94

7. Performance analysis of multiprocessor systems containing functionally dedicated processors

   • Jane W. S. Liu
   • C. L. Liu

   OriginalPaper Pages: 95 - 104

8. A conservation law for G/G/m queueing systems

   • B. Bartsch
   • G. Bolch

   OriginalPaper Pages: 105 - 109