"Generalized Mutual Exclusion with Semaphores Only."

Edward T. Ordman, Eugene Eberbach, A. Anwar (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics