Volume 14, Number 1, June 1990
: Behavioural Correctness of Data Representations.
: Comparing Integrated and External Logics of Functional Programs.
: Small Programming Exercises 24.
Volume 14, Numbers 2-3, October 1990
Special Issue on Mathematics of Program Construction
: Specifying Concurrent Objects as Communicating Processes.
: Data Structures and Program Transformation.