Operating system design : the Xinu approach, Linksys version - Comer, Douglas (CRC Press, 2012)