Mathematical foundations of computer science 2007Symposium on Mathematical Foundations of Computer Science (1972- ) (32nd 2007 Český Krumlov, Czech Republic)Book