Sometimes” is sometimes “not never” - on the temporal logic of programs (1980)

by L Lamport
Venue:In Proc. 7th ACM Symp. on Principles of Programming Languages