Theory and Application of Diagrams : First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings - Michael Anderson, Peter Cheng, Volker Haarslev ((Lecture Notes in Computer Science))