@inproceedings{gibbons-2011-just, series={ICFP ’11}, title={Just do it: simple monadic equational reasoning}, url={http://dx.doi.org/10.1145/2034773.2034777}, DOI={10.1145/2034773.2034777}, booktitle={Proceedings of the 16th ACM SIGPLAN international conference on Functional programming}, publisher={ACM}, author={Gibbons, Jeremy and Hinze, Ralf}, year={2011}, month=Sept, pages={2–14}, collection={ICFP ’11} }