Structuring depth-first search algorithms in Haskell (1995)

by D J King, J Launchbury
Venue:In Proc. of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL