Program derivation : the development of programs from specifications - Dromey, Geoff (International computer science series, 1989)