Symposium on Mathematical Foundations of Computer Science (1972- ) (24th 1999 Szklarska Poręba, Poland)