Guy Cousineau Patrice Enjalbert Program Equivalence and Provability. 237-245 1979 conf/mfcs/1979 MFCS db/conf/mfcs/mfcs79.html#CousineauE79 http://dx.doi.org/10.1007/3-540-09526-8_20