Dromey, Geoff 1946- Program derivation : the development of programs from specifications / Geoff Dromey. - Sydney ; Wokingham, England ; Addison -Wealey, 1989. - xvi, 630 p. ; 23 cm. - International computer science series . ISBN: 0201416247 Subjects--Topical Terms: Microsoft Windows (Computer file) Dewey Class. No.: 005.1 / DRO