Burstall, Computational Category Theory (1988)

by D E Rydeheard, R M