TITLE     : An execution environment for the formal definition of Ada
AUTHOR(S) : Fantechi A, Gnesi S, Inverardi P, Montanari U
TYPE      : Conference article
YEAR      : 1987
CODE      : 419675

*** DO NOT EDIT THIS FILE ***