The Dartmouth time-sharing system - Bull, Gordon M. (rz1, 1980)