Program derivation : the development of programs from specifications - Dromey, Geoff (New York : Addison-Wesley, 1989)
Includes index.
Keywords: Computer programming