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

by G D Plotkin
Venue:Abstract Software Specifications: 1979 Copenhagen Winter School Proceedings