A.: “How to cook a temporal proof system for your pet language (1983)

by Z Manna, Pnueli
Venue:Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL’83