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