-M. Broy/S. Merz/K. Spies (Eds.): Formal Systems Specification. Springer-Verlag 1996