Semantics-directed generation of a Prolog compiler
scientific article; zbMATH DE number 503013