@inproceedings{Hin00Der,
  title = "Deriving backtracking monad transformers",
  author = "Hinze, Ralf",
  year = "2000",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (ICFP '00)",
  editor = "Wadler, Phil",
  isbn = "1-58113-202-6",
  location = "Montreal, Canada",
  month = "sep",
  pages = "186--197",
  publisher = "ACM",
  doi = "10.1145/351240.351258",
}