Minix 3 - Tanenbaum, Andrew S (Pearson Education, 2006)