A user machine in a time-sharing system | IEEE Journals & Magazine | IEEE Xplore