Crypt-equivalent algebraic specifications F. L. BauerM. Wirsing OriginalPaper 01 February 1988 Pages: 111 - 153
Incremental evaluation for attribute grammars with unrestricted movement between tree modifications Thomas Reps OriginalPaper 01 February 1988 Pages: 155 - 178
On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes L. Bougé OriginalPaper 01 February 1988 Pages: 179 - 201
Recording the use of memory in right-boundary grammars and push-down automata A. EhrenfeuchtH. J. HoogeboomG. Rozenberg OriginalPaper 01 February 1988 Pages: 203 - 231