Correction to 'A4 logic-based approach to reverse engineering tools production (Dec 92 1053-1064) | IEEE Journals & Magazine | IEEE Xplore