The UNIX time-sharing system | Nokia Bell Labs Journals & Magazine | IEEE Xplore