Sometime" is sometimes "not never": on the temporal logic of programs (1980)

by L Lamport
Venue:In Proc. Seventh ACM Symp. on Programming Languages