J. Dennis and E. Van Horn, “<a href=https://www.princeton.edu/~rblee/ELE572Papers/Fall04Readings/ProgramSemantics_DennisvanHorn.pdf>Programming semantics for multiprogrammed computations</a>,” <i>Commun. ACM</i>, vol. 9, pp. 143-155, Mar. 1966. (I-B5, II-B1, II-E)
<a href=https://www.princeton.edu/~rblee/ELE572Papers/Fall04Readings/ProgramSemantics_DennisvanHorn.pdf>.</a>