Mogens Nielsen, Branislav Rovan: Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings. Lecture Notes in Computer Science 1893, Springer 2000, ISBN 3-540-67901-4