Type-changing rewriting and semantics-preserving transformation. - Sean Leather; Johan Jeuring; Andres Löh; Bram Schuur (Sci. Comput. Program., 2015)