Mayoh, B. H. Program Models: Meaning and Proof. DPB 1983, 12.