1. Crypt-equivalent algebraic specifications

   • F. L. Bauer
   • M. Wirsing

   OriginalPaper 01 February 1988 Pages: 111 - 153

2. Incremental evaluation for attribute grammars with unrestricted movement between tree modifications

   • Thomas Reps

   OriginalPaper 01 February 1988 Pages: 155 - 178

3. On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes

   • L. Bougé

   OriginalPaper 01 February 1988 Pages: 179 - 201

4. Recording the use of memory in right-boundary grammars and push-down automata

   • A. Ehrenfeucht
   • H. J. Hoogeboom
   • G. Rozenberg

   OriginalPaper 01 February 1988 Pages: 203 - 231