Volume 36, Number 1, January 1997
: A Success Story of Verifying a Real Complex Protocol.
Volume 36, Number 2, February 1997
: An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification.
Volume 36, Number 3, March 1997
Robert L. Glass
: Software Reflections - A Pioneer's View of the History of the Field.
: A Unified Framework For Expressing Software Subsystem Classification Techniques.