Mathematical foundations of computer science 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings / - Wiedermann, J.; Hájek, Petr. (Springer,, 1995)