Bernhard Gramlich Frontiers of Combining Systems - 2005 ISBN: 978-3-540-31730-2 Subjects--Topical Terms: Mathematical Logic and Formal LanguagesProgramming TechniquesSoftware EngineeringTheory of ComputationComputer Science