Program derivation the development of programs from specifications - Dromey, R. G. 1946- (International computer science series, 1989)