"Backtracking, interleaving, and terminating monad transformers: ..."

Oleg Kiselyov et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics