@inproceedings{trmon,
  title = "Tracing monadic computations and representing effects",
  author = "Maciej Pirog and Jeremy Gibbons",
  year = "2012",
  booktitle = "Proceedings Fourth Workshop on Mathematically Structured Functional Programming, Tallinn, Estonia, 25 March 2012",
  editor = "Chapman, James and Levy, Paul Blain",
  pages = "90-111",
  publisher = "Open Publishing Association",
  series = "Electronic Proceedings in Theoretical Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/trmon.pdf",
  volume = "76",
  doi = "10.4204/EPTCS.76.8",
}