Sometimes" is sometimes \not never (1980)

by L Lamport
Venue:In ACM Symposium on Principles of Programming Languages