SPECIFICATION OF SOFTWARE SYSTEMS. - Alager,V. S.; Periyasamy,K. (Springer-Verlag, New York, 1998)
Keywords: Software Engineering; Computer Software -- Specifications