Volume 18, Number 1, January 1992
Andreas Maaßen:
Parallel Programming with Data Structures and Higher Order Functions.
1-38
Maritta Heisel:
Formalizing and Implementing Gries' Program Development Method in Dynamic Logic.
107-137
Volume 18, Number 2, April 1992
Eerke A. Boiten:
Improving Recursive Functions by Inverting the Order of Evaluation.
139-179
Chris Reade:
Balanced Trees with Removals: An Exercise in Rewriting and Proof.
181-204
Volume 18, Number 3, June 1992
Jo C. Ebergen:
Arbiters: An Exercise in Specifying and Decomposing Asynchronously Communicating Components.
223-245
data released under the ODC-BY 1.0 license
