Sophie Cherki Christine Choppy A method for FORTRAN programs reverse engineering using algebraic specifications. 156-173 1997 conf/wadt/1997 WADT db/conf/wadt/wadt97.html#CherkiC97