A Calculus of Refinements for Program Derivations

Ralph-Johan Back. A Calculus of Refinements for Program Derivations. Acta Informatica, 25(6):593-624, 1988.

Abstract

Abstract is missing.