A short theory of multiprogramming | IEEE Conference Publication | IEEE Xplore