1. An axiomatic proof technique for parallel programs I

   • Susan Owicki
   • David Gries

   OriginalPaper Pages: 319 - 340

2. On the implementation of Strassen's fast multiplication algorithm

   • Jacques Cohen
   • Martin Roth

   OriginalPaper Pages: 341 - 355

3. On a gauntlet thrown by David Gries

   • Edsger W. Dijkstra

   OriginalPaper Pages: 357 - 359

4. An O(n) algorithm for computing the set of available expressions of D-charts

   • K. Taniguchi
   • T. Kasami

   OriginalPaper Pages: 361 - 364

5. A model of a virtual memory system

   • A. Brandwajn

   OriginalPaper Pages: 365 - 386

6. Resolution of ambiguity in parsing

   • R. M. Wharton

   OriginalPaper Pages: 387 - 395

7. On grammar forms with terminal context

   • H. A. Maurer
   • D. Wood

   OriginalPaper Pages: 397 - 402

8. Optimal codes, n-arcs and Laguerre geometry

   • Werner Heise

   OriginalPaper Pages: 403 - 406

9. On proving that certain languages are not ETOL

   • A. Ehrenfeucht
   • G. Rozenberg

   OriginalPaper Pages: 407 - 415