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