@inproceedings{GiH11Doi,
  title = "Just do it: simple monadic equational reasoning",
  author = "Gibbons, Jeremy and Hinze, Ralf",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceeding of the 16th ACM SIGPLAN international conference on Functional programming",
  isbn = "978-1-4503-0865-6",
  location = "Tokyo, Japan",
  pages = "2--14",
  publisher = "ACM",
  series = "ICFP '11",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mr.pdf",
  doi = "10.1145/2034773.2034777",
}