An Algebraic Description of Programs with Assertions, Verification and Simulation (1972)

by Rod Burstall
Venue:Conference on Proving Assertions about Programs