Diagrammatic Representation and Inference : Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings - Alan F. Blackwell, Kim Marriott, Atsushi Shimojima ((Lecture Notes in Computer Science))