Time-sharing computer systems. - Wilkes, M. V. (American Elsevier Publishing Company, Inc., 1968)