TITLE     : On the feasibility of the execution of the ADA formal definition
AUTHOR(S) : Fantechi A., Gnesi S., Inverardi P., Montanari U.
TYPE      : Other
YEAR      : 1987
CODE      : 419590

*** DO NOT EDIT THIS FILE ***