The mutual exclusion problem (1980)

by L AMPORT
Venue:SRI International, Menlo Park, Calif