Legacy Assembler Reengineering and Migration. - Martin P. Ward; Hussein Zedan; T. Hardcastle (ICSM, 2004)

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. - Martin P. Ward; Hussein Zedan; T. Hardcastle (CSMR, 2005)