Formal Systems Specification door M. Broy & K. Spies