Volume 10, Number 1, January 1988
Wim H. Hesselink
: A Mathematical Approach to Nondeterminism in Data Types.
Raymond T. Boute
: System Semantics: Principles, Applications, and Implementation.
Volume 10, Number 2, April 1988
Jan van den Bos
: Abstract Interaction Tools: A Language for User Interface Management Systems.
: Control Predicates are Better than Dummy Variables for Reasoning about Program Control.
Volume 10, Number 3, July 1988
Volume 10, Number 4, October 1988
Walter F. Tichy
: Tichy's Response to R. W. Schwanke and G. E. Kaiser's ``Smarter Recompilation''.