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