Predicate transformer semantics of a higher-order imperative language with record subtyping (1997)

by D A Naumann
Venue:In Proc. 24th ACM Symp. on Principles of Prog. Lang