hinze-2016-equational:
  type: article
  title: Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
  author:
  - Hinze, Ralf
  - Marsden, Dan
  date: 2016-08
  page-range: 931-951
  url: http://dx.doi.org/10.1016/j.jlamp.2015.12.004
  serial-number:
    doi: 10.1016/j.jlamp.2015.12.004
    issn: 2352-2208
  parent:
    type: periodical
    title: Journal of Logical and Algebraic Methods in Programming
    publisher: Elsevier BV
    issue: 5
    volume: 85