Bruce Russell Correctness of the Compiling Process Based on Axiomatic Semantics. 1-20 1980 14 Acta Inf. db/journals/acta/acta14.html#Russell80