Iman Poernomo Proofs-as-Model-Transformations. 214-228 2008 ICMT http://dx.doi.org/10.1007/978-3-540-69927-9_15 conf/icmt/2008 db/conf/icmt/icmt2008.html#Poernomo08