Gehani, Narain Software specification techniques - England Addison-Wesley Pub. 1986 - 477 Subjects--Topical Terms: Computer programs - Specification - Addresses LC Class. No.: C 001.6425 G2745 1986