Illustrating the Operating System Design Principle and Implementation - Lixiang Yang (Taylor and Francis, 2014)