Specification of Software Systems by Kasi Periyasamy & V.S. Alagar