Graph-based logic and sketches II: Finite product categories and equational logic. Available by gopher from gopher.cwru.edu, path=/class/mans/math/pub (1993)

by Atish Bagchi, Charles Wells