Mathematical foundations of computer science 1996 21st international symposium, MFCS '96, Cracow, Poland, September 2 - 6, 1996 ; proceedings (Springer, 1996)