Backtracking, interleaving, and terminating monad transformers: (functional pearl).

Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry

Browse the full ICFP paper archive.