Pessolani, P.A. 2008. MINIX4RT: Real-time Semaphores. Journal of Computer Science and Technology. 8, 03 (Oct. 2008), p. 139–143.