Program derivation : the development of programs from specifications - Dromey, R. G. (R. Geoffrey), 1946- (Sydney : Addison-Wesley, 1989)
Includes index.
Bibliography: p. 618.
Keywords: Computer programming