Program derivation the development of programs from specifications
Dromey, R. G.1946-
Wokingham Addison-Wesley
1989
Includes bibliography and index
Electronic digital computers