"Dartmouth Time-Sharing"@cs .