“time-shared man-computer systems”