TITLE     : Architecture of the execution environment for the ADA formal definition
AUTHOR(S) : Fantechi A, Gnesi S, Inverardi P, Montanari U
TYPE      : Other
YEAR      : 1986
CODE      : 419799

*** DO NOT EDIT THIS FILE ***