Updated bibtex for constrained monad problem.