On the theory of programming logics (1977)

by R L Constable
Venue:In Proc. 9th ACM Symp. on Theory of Computing