Bonchi, F; Sobocinski, P; Zanasi, F; (2018) Deconstructing Lawvere with distributive laws. Journal of Logical and Algebraic Methods in Programming , 95 pp. 128-146. 10.1016/j.jlamp.2017.12.002.