gibbons-2011-just:
  type: article
  title: 'Just do it: simple monadic equational reasoning'
  author:
  - Gibbons, Jeremy
  - Hinze, Ralf
  date: 2011-09
  page-range: 2-14
  serial-number:
    doi: 10.1145/2034773.2034777
  parent:
    type: proceedings
    title: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
    publisher: ACM