Principles of Inverse Computation in a Functional Language.

Sergei M. Abramov Robert Glück Principles of Inverse Computation in a Functional Language. 141-152 2000 conf/aplas/2000 APLAS db/conf/aplas/aplas2000.html#AbramovG00