Morphisms and modules for poly-bicategories. Cockett, J.R.B., Koslowski, J., Seely, R.A.G. (2003) Theory and Applications of Categories [electronic only]