1
Result directed computing in a functional logic language.
Book
Kuchen, H.
1992