Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: synthesis proofs
PP153
1992 Paper in Conference Proceedings
Madden,P
Automatic Program Optimization Through Proof Transformation