Kastens, Uwe: Programming language implementation and logic programming / Executable specifications for language implementation. In: Programming language implementation and logic programming. Jg.1993. 2009, S. 1-11