Paul-André Melliès Functorial Boxes in String Diagrams. 1-30 2006 conf/csl/2006 CSL http://dx.doi.org/10.1007/11874683_1 db/conf/csl/csl2006.html#Mellies06