Tilbage til artikeldetaljer A Simple Correctness Proof of the Direct-Style Transformation Download Download PDF