Sometime” is Sometimes “Not Never” - On the Temporal Logic of Programs (1980)

by L Lamport
Venue:In 7th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’80