The Temporal Logic of Programs (1977)

by A Pnueli
Venue:In 18th Annual IEEE Symposium on Foundations of Computer Science, FOCS ’77