Introduction to operating system design - Habermann A N Ed. (1986)