Software specification techniques
Gehani, Narain,1947-
McGettrick, Andrew D.,1944-
Wokingham Addison-Wesley
1986
Includes bibliography
Computer software