Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation

Ian A. Mason Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation 105-117 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#Mason86