A simple approach to specifying concurrent systems (1989)

by L Lamport
Venue:Communications of the ACM