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