Denotational semantics of Hoare classes (1982)

by R D Tennent