Miroslaw Kutylowski Leszek Pacholski Tomasz Wierzbicki Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings MFCS Lecture Notes in Computer Science 1672 Springer 1999 3-540-66408-4 db/conf/mfcs/mfcs99.html