Recast: reverse engineering from COBOL to SSADM specification | IEEE Conference Publication | IEEE Xplore