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