Dijkstra’s predicate transformers and Smyth’s powerdomain (1979)

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