1
Dynamic detection of determinism in functional logic languages.
Book
Loogen, R.
1991