[Dennis66] Dennis, J. Dennis and E. VanHorn, Programming Semantics for Multiprogrammed Computations, Communications of the ACM, 9, 3, 143-155, March, 1966 []