@inproceedings{Hin00Der,
  title = "Deriving Backtracking Monad Transformers",
  author = "Hinze, Ralf",
  year = "2000",
  booktitle = "Proceedings of the 2000 International Conference on Functional Programming, Montreal, Canada, September 18-20, 2000",
  editor = "Wadler, Phil",
  month = "sep",
  pages = "186--197",
}