[1]
Yang, Z. 2000. Reasoning About Code-Generation in Two-Level Languages. BRICS Report Series. 7, 46 (Jun. 2000). DOI:https://doi.org/10.7146/brics.v7i46.20213.