1. Some extended semaphore primitives

   • Tilak Agerwala

   OriginalPaper Pages: 201 - 220

2. Locations considered unnecessary

   • James E. Donahue

   OriginalPaper Pages: 221 - 242

3. LAR: A logic of algorithmic reasoning

   • F. Kröger

   OriginalPaper Pages: 243 - 266

4. General properties of derivational complexity

   • Yoshihide Igarashi

   OriginalPaper Pages: 267 - 283

5. Iterated deterministic substitution

   • Peter R. J. Asveld
   • Joost Engelfriet

   OriginalPaper Pages: 285 - 302