PP-2007-14: Theo Janssen Compiler correctness and the translation of logics 1.Full Text, 2.Abstract. < Back
