A calculus of refinements for program derivations (1988)

by R Back
Venue:Acta Inf