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