Dijkstra’s predicate transformers and smyth’s power domains (1980)

by G D Plotkin
Venue:Abstract Software Specifications