Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.; Wood, R. J.
Theory Appl. Categ. 11, 375-396, electronic only (2003)