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