Program transformation by proof in constructive framework (1991)

by D Galmiche
Venue:In Informatika '91, Theoretical Computer Science and Methods of Compilation and Program Construction