Specification of Software Systems, Vangular S. Alagar, K. Periyasamy, V. S. Alag