Pigs from Sausages? Reengineering from Assembler to C via FermaT Transformations (2004)

by M. P. Ward
Venue:Science of Computer Programming, Special Issue on Program Transformation 52