The temporal logic of programs (1977)

by A Pnueli
Venue:in Proceedings of the 18th IEEE Symposium on Foundation of Computer Science