Specifying Concurrent Program Modules. (1983)

by L Lamport
Venue:ACM Transactions on Prog. Logic and Sys.