A System for Proving Equivalences of Recursive Programs.

Laurent Kott A System for Proving Equivalences of Recursive Programs. 63-69 1980 conf/cade/1980 CADE db/conf/cade/cade80.html#Kott80 http://dx.doi.org/10.1007/3-540-10009-1_6