On A Method Of Multiprogramming door A.J. Van Gasteren & W.H.J. Feijen