Predicate Transformer Semantics, volume 33 of Cambridge Tracts (1992)

by E Manes
Venue:in Theoretical Computer Science