TITLE : Feasibility of a mapping from the ADA formal definition to the NYU SETL interpreter for ADA AUTHOR(S) : Fantechi A, Gnesi S, Inverardi P, Mazzanti F TYPE : Other YEAR : 1987 CODE : 419588 *** DO NOT EDIT THIS FILE ***