Specifying concurrent program modules (1983)

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