Diagrammatic Representation and Inference Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings - Blackwell, Alan F.; Marriott, Kim; Shimojima, Atsushi (Springer Berlin Heidelberg, 2004)