Mayoh, B. H. “Program Models: Meaning and Proof”. DAIMI Report Series, vol. 12, no. 157, Jan. 1983, doi:10.7146/dpb.v12i157.7431.