Diagrammatic representation and inference : third international conference, Diagrams 2004 Cambridge, UK, March 22-24, 2004 : proceedings - Blackwell, Alan F. (Springer, 2004)