L4 Semaphore Reference Manual, written by Lars Reuther  © 2000-2003