How to Cook a Proof System for your Pet Language (1983)

by Z Manna, A Pnueli
Venue:In Proceedings 10th Annual ACM Symposium on Principles of Programming Languages (POPL