Mayoh, B. H. Comparative Semantics of Programming Languages. DPB 1984, 13.