TITLE     : The draft formal definition of ADA. Modelling implementation dependent aspects
AUTHOR(S) : Fantechi A, Mazzanti F
TYPE      : Other
YEAR      : 1986
CODE      : 419789

*** DO NOT EDIT THIS FILE ***