Program Derivation by Fixed Point Computation

Jiazhen Cai, Robert Paige. Program Derivation by Fixed Point Computation. Science of Computer Programming, 11(3):197-261, 1989.

Abstract

Abstract is missing.