Kastens, Uwe: Programming language implementation and logic programming / Executable specifications for language implementation. . In: Programming language implementation and logic programming. Jg.1993, S.111