Acta Informatica 6(2) July 2, 1976

• Anderson, E.; F. Belz, E. Blum, (1976) Anderson, E.; F. Belz, E. Blum, "SEMANOL(73) A metalanguage for programming the semantics of programming languages" pp109-131