A theoretical basis for stepwise refinement and the programming calculus (1987)

by J M Morris
Venue:Science of Computer Programming