Volume 16, Number 1, July 1991
Maarten M. Fokkinga
: An Exercise in Transformational Programming: Backtracking and Branch-and-Bound.
Ambuj K. Singh
: Specification of Concurrent Objects Using Auxiliary Variables.
Volume 16, Number 2, September 1991
Volume 16, Number 3, October 1991
: Symbolic Execution: A Semantic Approach.
: Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree Transducers.