Dromey, Geoff Program derivation : the development of programs from specifications / Geoff Dromey. - 1a ed. - E.U. : Addison-Wesley Publishing Company, c1989 - 57 p. ; 23 cm. - International computer science series. . ISBN: 020141659X Subjects--Topical Terms: Programación (Computadores) LC Class. No.: QA76.6 / D76 1989