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