: Bounded Implementation of Algebraic Specifications.
: The Object-Based Specification Language PI: Concepts, Syntax, and Semantics.
: Specifications with Observable Formulae and Observational Satisfaction Relation.
: Event Logic for Specifying Abstract Dynamic Data Types.
The information on this page was contributed by Martin Gogolla