B. H. Mayoh, “Program Models: Meaning and Proof”, DPB, vol. 12, no. 157, Jan. 1983.