Volume 18, Number 1, January 1992
: Parallel Programming with Data Structures and Higher Order Functions.
: Formalizing and Implementing Gries' Program Development Method in Dynamic Logic.
Volume 18, Number 2, April 1992
Eerke A. Boiten
: Improving Recursive Functions by Inverting the Order of Evaluation.
: Balanced Trees with Removals: An Exercise in Rewriting and Proof.
Volume 18, Number 3, June 1992