On Correct Refinement of Programs

Ralph-Johan Back. On Correct Refinement of Programs. J. Comput. Syst. Sci., 23(1):49-68, 1981.

Abstract

Abstract is missing.