Refinement calculus a systematic introduction - Back Ralph-Johan; Wright Joakim von (New York Springer-Verlag, 1998)
Keywords: Calculus; Computer logic; Computer programming; Electronic digital computers