Dijkstra’s Predicate Transformers and Smyth’s Powerdomains (1986)

by G D Plotkin
Venue:Abstract Software Specifications, Lecture Notes in Computer Science 86