Reverse Engineering from Assembler to Formal Specifications via Program Transformations

Martin P. Ward Reverse Engineering from Assembler to Formal Specifications via Program Transformations http://arxiv.org/abs/cs.SE/0105006 2001 CoRR cs.SE/0105006 db/journals/corr/corr0105.html#cs-SE-0105006