"Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs.

Leslie Lamport

Browse the full POPL paper archive.