References. Coherence for Distributivity (Laplaza, 1971) Data-These at Hackage (McCann, Genrus, 2013)
