Mathematical foundations of computer science 1995: 20th international symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings by Symposium on Mathematical Foundations of Computer Science (1972- ) (20th 1995 Prague, Czech Republic) | Menrva Books