1. Equivalence of the Gries and Martin proof rules for procedure calls

   • A. Bijlsma
   • J. G. Wiltink
   • P. A. Matthews

   OriginalPaper Pages: 357 - 360

2. Precedence technique is not worse than SLR(1)

   • Piotr Wyrostek

   OriginalPaper Pages: 361 - 392

3. A comparison of storage optimizations in automatically-generated attribute evaluators

   • Rodney Farrow
   • Daniel Yellin

   OriginalPaper Pages: 393 - 427

4. The Merlin-Randell problem of train journeys

   • Maciej Koutny

   OriginalPaper Pages: 429 - 463

5. A single server queue with mixed types of interruptions

   • Victor F. Nicola

   OriginalPaper Pages: 465 - 486