Danvy "Automatic autoprojection of recursive equations with global variables and abstract data types (1991)

by A Bondorf, O
Venue:Science of Computer Programming