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