The Temporal Logic of Programs (1977)

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