Introduction to operating systems - National Institute of Information Technology, IN (Prentice-Hall of India, New Delhi, 2003)