Gehani,N. Software specification techniques - Newyork Addison-Wesley - xii,477 ISBN: 0201142309 Dewey Class. No.: 004.415.28 GEH