Mathematical foundations of computer science 1997 : International Symposium MFCS '97 : Bratislava, Slovakia, August 25-29, 22, 1997 : proceedings - Prívara, Igor; Růžička, Peter (Lecture notes in computer science ;, 1997)