Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings - Mogens Nielsen, Branislav Rovan ((Lecture Notes in Computer Science))