Software specification techniques - Gehani, Narain. 1947-; McGettrick, Andrew D. 1944- (Addison-Wesley, 1985)