On the refinement calculus /
Morgan, Carroll,1952-
Vickers, Trevor,1959-
London : Springer-Verlag,
1993.
Includes bibliographical references.
Structured programming.
Calculus.