Diagrammatic Representation and Inference : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings - Philip Cox, Beryl Plimmer, Peter Rodgers ((Lecture Notes in Computer Science))