Program Development by Inductive Stepwise Refinement

R. Geoff Dromey. Program Development by Inductive Stepwise Refinement. Software: Practice and Experience, 15(1):1-28, 1985.

Abstract

Abstract is missing.