A file system for a general-purpose time-sharing environment | IEEE Journals & Magazine | IEEE Xplore