Volume 29, Numbers 1-2, January 1997
, Jan Magott
: Syntax and Semantics of Real-Time and Performance Evaluation Extensions of Specification Language LOTOS.
: On Definitional Transformations to Normal Form for Institionistic Logic.
Volume 29, Numbers 3, February 1997
: A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras.
Volume 29, Numbers 4, March 1997
: A Representation of Dependence Spaces and Some Basic Algorithms.