Sometimes is sometimes \not never"-on the temporal logic of programs (1980)

by L Lamport
Venue:In Proc. 7th ACM Symposium on Principles of programming languages