Brink, C; Rewitzky, I
(th African Institute of Computer Scientists and Information Technologists, 1992)
Dijkstra's weakest precondition semantics, as presented in textbook form by Gries, may be viewed as an equational algebra.
The problem then is to find a reasonable (set-theoretic ) model of this algebra. This paper provides one.