Operating system principles - Hansen, Per Brinch (Prentice-Hall series in automatic computation, 1973)