Specification of Software Systems (Graduate Texts in Computer Science (Springer-Verlag New York Inc.).)