Specification of Software Systems - Alagar, V.S; Periyasamy, K. (Springer London : Imprint: Springer, 2011)