Sometime' is sometimes `not never': a tutorial on the temporal logic of programs (1980)

by Leslie Lamport
Venue:In Proceedings of the Seventh Annual Symposium on Principles of Programming Languages