Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types (1990)

by Anders Bondorf, Olivier Danvy
Venue:Science of Computer Programming