Introduction to operating system design - Habermann, A. N.