Muhammad Taimoor Khan,
"On the Soundness of the Translation of MiniMaple to Why3ML"
, Serie RISC Report Series, Nummer 14-01, RISC, Johannes Kepler University, Hagenberg, Linz, 2-2014
Original Titel:
On the Soundness of the Translation of MiniMaple to Why3ML