"A kernel-based synchronization assignment for the operating systems course."

Mark A. Holliday (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics