An Approach to Automatic Proof Support for Code Generator Verification.

Bettina Buth Karl-Heinz Buth An Approach to Automatic Proof Support for Code Generator Verification. 193-209 1991 Code Generation db/conf/dagstuhl/code1991.html#ButhB91