Program derivation the development of programs from specifications - Dromey, R. G. 1946- (Sydney Addison-Wesley, 1989)
Keywords: Electronic digital computers -- Programming