Sometime” Is Sometimes “Not Never (1980)

by L Lamport
Venue:Proceedings of the Seventh Annual ACM Conference on the Principles of Programming Languages,(January