Synchronizing resources (1981)

by G R Andrews
Venue:ACM Transactions on Prog. Languages and Sytems