1. A synthesis of several sorting algorithms

   • John Darlington

   OriginalPaper Pages: 1 - 30

2. Proving and applying program transformations expressed with second-order patterns

   • Gérard Huet
   • Bernard Lang

   OriginalPaper Pages: 31 - 55

3. Remarks on “some comments on concurrent readers and writers” by Reidar Conradi

   • Abraham Silberschatz
   • Brian Johnson

   OriginalPaper Pages: 57 - 60

4. Improved time and space bounds for Boolean matrix multiplication

   • Leonard Adleman
   • Kellogg S. Booth
   • Walter L. Ruzzo

   OriginalPaper Pages: 61 - 70

5. Complexity hierarchies for Boolean functions

   • William F. McColl

   OriginalPaper Pages: 71 - 77

6. Precedence relations in grammar forms

   • Seymour Ginsburg
   • Derick Wood

   OriginalPaper Pages: 79 - 88

7. Hierarchy theorems for two-way finite state transducers

   • S. A. Greibach

   OriginalPaper Pages: 89 - 101