TY  - RPRT
TI  - Reverse Engineering from Assembler to Formal Specifications via Program Transformations
AU  - M. P. Ward
PY  - 2001
DO  - 10.1109/wcre.2000.891448
UR  - https://arxiv.org/abs/cs/0105006
ID  - cs/0105006
ER  -