THOR: a display based time sharing system. - John McCarthy 001; Dow Brian; Gary Feldman; John Allen (AFIPS Spring Joint Computing Conference, 1967)