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