TITLE     : An execution environment for language formal definitions
AUTHOR(S) : Fantechi A, Gnesi S, Inverardi P
TYPE      : Other
YEAR      : 1986
CODE      : 419802

*** DO NOT EDIT THIS FILE ***