Expansion of FORTRAN ....
FORmula TRANslation
FORmula TRANslator
FORmal TRANslation
FORmal TRANslator