Diagrammatic Representation and Inference : 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings - Gem Stapleton, John Howse, John Lee ((Lecture Notes in Computer Science))