Mathematical foundations of computer science 1997 22nd international symposium, MFCS '97, Bratislava, Slovakia, August 25 - 29, 1997 ; proceedings (Springer, 1997)