E. R. Anderson F. C. Belz Edward K. Blum SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages. 109-131 1976 6 Acta Inf. db/journals/acta/acta6.html#AndersonBB76