@misc{indiciae43840155c15f, title = {Using a Formal Approach for Reverse Engineering and Design Recovery to Support Software Reuse}, author = {Gannod, Gerald C.}, year = {2002}, url = {https://ntrs.nasa.gov/citations/20030007796}, note = {Source identifier: 20030007796} }