No. 2 (2002): RS-2 A Simple Correctness Proof of the Direct-Style Transformation

Published: 2002-01-02