Theory and application of diagrams : First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 2000 : Proceedings - Anderson, Michael, 1951-; Cheng, Peter, 1963-; Haarslev, Volker, 1955- (Lecture notes in computer science ;, 2000)