brian stuartの"principles of operating systems:design and applications" isbn 1-4188-3769-5(course technology,2008)は、infernoを例としてオペレーティングシステムの設計を論じたものである。