Introduction to operating system design - Habermann, A. Nico (Galgotia publications, 1989)