Refinement calculus : a systematic introduction - Back, Ralph-Johan.; Wright, J. von (Joakim), 1955- (New York : Springer, 1998)
Includes bibliographical references (p. [501]-508) and index.
Keywords: Computer programming; Calculus; Computer logic