TY - CHAP AU - Kastens, Uwe DP - Universität Paderborn LA - eng PY - 2009 SN - 3-540-57186-8 SP - 1-11 T3 - Programming language implementation and logic programming TI - Executable specifications for language implementation UR - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-4219 Y2 - 2026-01-13T02:18:59 ER -