The Temporal Logic of (1991)

by L Lamport
Venue:Actions SRC Research Report 79, Digital Equipment Corp