Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types.

Anders Bondorf Olivier Danvy Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types. 151-195 1991 16 Sci. Comput. Program. 2 db/journals/scp/scp16.html#BondorfD91