A New Framework for Declarative Programming (2003)

by S Finkelstein, P Freyd, J Lipton
Venue:Theoretical Computer Science