Time-sharing systems. - Bull G M; Packham S F G (1971)