"Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Volume 33)" - читать интересную книгу автора (Ernest G. Manes)