Mathematical foundations of computer science 1995 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings (Springer, 1995)