Structuring depth search algorithms in Haskell (1995)

by D J King, J Launchbury
Venue:In ACM Symposium on Principles of Programming Languages