On a method of Multiprogramming - WHJ. Feijen, A.J.M Van Gasteren (Springer-Verlag, 1999)