Specification of Software Systems - V.S. Alagar, K. Periyasamy ((Texts in Computer Science))