Rastislav Královič, Paweł Urzyczyn Mathematical Foundations of Computer Science 2006 - Germany Springer 2006 ISBN: 978-3-540-37793-1 Subjects--Topical Terms: Computer ScienceMathematical Foundations of Computer Science 2006