1. The report on the standard hardware representation for ALGOL 68

   • Wilfred J. Hansen
   • Hendrik Boom

   OriginalPaper Pages: 105 - 119

2. Proving programs correct through refinement

   • Claus H. Correll

   OriginalPaper Pages: 121 - 132

3. A proof method for cyclic programs

   • Nissim Francez
   • Amir Pnueli

   OriginalPaper Pages: 133 - 157

4. On random 2–3 trees

   • Andrew Chi-Chih Yao

   OriginalPaper Pages: 159 - 170

5. On the complexity of formal grammars

   • Ronald V. Book

   OriginalPaper Pages: 171 - 181

6. Subrekursive Komplexität bei Gruppen

   • J. Avenhaus
   • K. Madlener

   OriginalPaper Pages: 183 - 193