Time-sharing data processing systems - Ziegler J R (New Jersey New Jersey, Prentice-Hall, 1967)