TITLE     : Dynamic semantics example ADA subset
AUTHOR(S) : Christensen P, Pedersen Js, Fantechi A, Giovini A, Reggio G, Mazzanti F
TYPE      : Other
YEAR      : 1985
CODE      : 420145

*** DO NOT EDIT THIS FILE ***