1. An experimentally validated model of the paging drum

   • C. Adams
   • E. Gelenbe
   • J. Vicard

   OriginalPaper Pages: 103 - 117

2. Constructing a theory of a data structure as an aid to program development

   • C. B. Jones

   OriginalPaper Pages: 119 - 137

3. Proof rules for gotos

   • Michael A. Arbib
   • Suad Alagić

   OriginalPaper Pages: 139 - 148

4. A binary operation on trees and an initial algebra characterization for finite tree types

   • Wolfgang Merzenich

   OriginalPaper Pages: 149 - 168

5. On the definition of ELR(k) and ELL(k) grammars

   • Stephan Heilbrunner

   OriginalPaper Pages: 169 - 176

6. Constructing LR parsers for regular right part grammars

   • Wilf R. LaLonde

   OriginalPaper Pages: 177 - 193