Mathematical Foundations of Computer Science 2000 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings - Nielsen, Mogens; Nielsen, Mogens; Rovan, Branislav; Rovan, Branislav (Springer Berlin Heidelberg : Imprint: Springer, 2000)