Robert L. Constable
On the Theory of Programming Logics
STOC, 1977.
@inproceedings{STOC-1977-Constable, author = "Robert L. Constable", booktitle = "{Proceedings of the Ninth Annual ACM Symposium on Theory of Computing}", doi = "10.1145/800105.803417", pages = "269--285", publisher = "{ACM}", title = "{On the Theory of Programming Logics}", year = 1977, }