1. Bounds on the parallel evaluation of arithmetic expressions using associativity and commutativity

   • David Kuck
   • Yoichi Muraoka

   OriginalPaper Pages: 203 - 216

2. Zur Komplexität von Sortierproblemen

   • W. J. Paul
   • H. -J. Stoß

   OriginalPaper Pages: 217 - 225

3. On procedures as open subroutines. II

   • Hans Langmaack

   OriginalPaper Pages: 227 - 241

4. Axiomatic approach to total correctness of programs

   • Zohar Manna
   • Amir Pnueli

   OriginalPaper Pages: 243 - 263

5. Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems

   • A. Ehrenfeucht
   • G. Rozenberg

   OriginalPaper Pages: 265 - 283

6. On derivation languages corresponding to context-free grammars

   • Martti Penttonen

   OriginalPaper Pages: 285 - 291

7. Sur une conjecture de S. Greibach

   • Jean Berstel

   OriginalPaper Pages: 293 - 295

8. Addenda and corrigenda

   • C. A. R. Hoare
   • N. Wirth

   Erratum Pages: 296 - 296