TENEX, a Paged Time Sharing System for the PDP-10. - Bobrow, Daniel G.; Burchfiel, Jerry D.; Murphy, Daniel L.; Tomlinson, Raymond S.; Beranek, Bolt (Communications of the ACM, 1972)