Dijkstra’s predicate transformers and Smyth’s powerdomains (1980)

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