Classic operating system from batch processing to distributed systems - Hansen, Per Brinch (New York Springer, 2001)