Program derivation : the development of programs from specifications / - Dromey, R. G. (Addison-Wesley,, 1989)