@inproceedings{mr,
  title = "Just do it: Simple monadic equational reasoning",
  author = "Jeremy Gibbons and Ralf Hinze",
  year = "2011",
  booktitle = "ICFP",
  month = "September",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/mr.pdf",
}