Ronald A. Olsson Daniel T. Huang Axiomatic Semantics for ``Escape'' Statements. 27-33 1991 39 Inf. Process. Lett. 1 db/journals/ipl/ipl39.html#OlssonH91