English Predicate transformer semantics Cited by user RDBrown on 25 Nov 2017 Predicate transformer semantics were introduced by Edsger Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs".