Bonsangue, et al.. Presenting Distributive Laws. Edited by Milius, vol. 11, Logical Methods in Computer Science e.V., Aug. 2015, doi:10.2168/lmcs-11(3:2)2015.