Pessolani, Pablo Andrés. “MINIX4RT: Real-Time Semaphores”. Journal of Computer Science and Technology 8, no. 03 (October 1, 2008): p. 139–143. Accessed January 25, 2025. https://journal.info.unlp.edu.ar/JCST/article/view/755.