Specification of software systems - Alagar, V S (Springer, 2011)