Gem Stapleton John Howse John Lee Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings 5223 2008 978-3-540-87729-5 Diagrams Lecture Notes in Computer Science Springer db/conf/diagrams/diagrams2008.html