Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Band 52) | DealShopping Deutschland