Title: A formal mechanism for analysis and re-implementation of legacy programs
First published: 2001
Subjects: Computer programs