Formal Systems Specification by M. Broy & K. Spies