Time-sharing data processing systems - Ziegler, James R. (Prentice-Hall, Inc, 1967)