Yang Z. Reasoning About Code-Generation in Two-Level Languages. BRICS [Internet]. 16. juni 2000 [henvist 5. december 2025];7(46). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20213