Rypacek, Ondrej (2010) Distributive laws in programming structures. PhD thesis, University of Nottingham.