Presenting functors by operations and equations (2006)

by M M Bonsangue, A Kurz
Venue:In FoSSaCS, volume 3921 of LNCS