A formal mechanism for analysis and re-implementation of legacy programs. - Dimitrios Maglaras (2001)