About V.S. Alagar Books by V.S. Alagar Specification of Software Systems by (author) V.S. Alagar & K. Periyasamy