Mathematical foundations of computer science 1996 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings / - Penczek, Wojciech.; Szałas, Andrzej, (Lecture notes in computer science,)