@article{hinze-2016-equational, title={Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers}, volume={85}, ISSN={2352-2208}, url={http://dx.doi.org/10.1016/j.jlamp.2015.12.004}, DOI={10.1016/j.jlamp.2015.12.004}, number={5}, journal={Journal of Logical and Algebraic Methods in Programming}, publisher={Elsevier BV}, author={Hinze, Ralf and Marsden, Dan}, year={2016}, month=Aug, pages={931–951} }