Types and invariants in the refinement calculus (1990)

by C Morgan, T Vickers
Venue:Science of Computer Programming