Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science | DealShopping Deutschland