The temporal logic of actions. (1994)

by L Lamport
Venue:ACM Transactions on Programming Languages and Systems,