Comments on tennent’s ’denotational semantics of Hoare classes (1982)

by C A R Hoare