Diagrammatic Representation and Inference 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings - Cox, Philip; Plimmer, Beryl; Rodgers, Peter (Springer Berlin Heidelberg, 2012)