Kastens, Uwe: Programming language implementation and logic programming / Executable specifications for language implementation. . In: Programming language implementation and logic programming. Vol.1993, page111