Alan F. Blackwell Kim Marriott Atsushi Shimojima Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings Diagrams Lecture Notes in Computer Science 2980 Springer 2004 3-540-21268-X db/conf/diagrams/diagrams2004.html