The temporal logic of programs (1977)

by A Pnueli
Venue:Proceedings of the 18th Annual Symposium on Foundations of Computer Science