Specification of software systems - Alagar, Vangalur S. (Graduate texts in computer science, 1998)