Specification of software systems - Alagar, Vangalur S. , 1940-.; Periyasamy, K. (Springer, 1998)