Introduction to extensive and distributive categories (1993)

by A Carboni, S Lack, R Walters
Venue:Journal of Pure and Applied Algebra