Robert D. Rosebrugh Nicoletta Sabadini Robert F. C. Walters Minimisation and minimal realisation in Span(Graph). 685-714 2004 14 Mathematical Structures in Computer Science 5 http://dx.doi.org/10.1017/S096012950400430X db/journals/mscs/mscs14.html#RosebrughSW04