General Predicate Transformer and the Semantics of a Programming Language With Go To Statement.

Jifeng He General Predicate Transformer and the Semantics of a Programming Language With Go To Statement. 35-57 1983 20 Acta Inf. db/journals/acta/acta20.html#He83