Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings - Stapleton, Gem; Howse, John; Lee, John (Springer Berlin Heidelberg, 2008)