A Relational Abstraction for Functions.

Bertrand Jeannet, Denis Gopan, Thomas W. Reps

Browse the full SAS paper archive.