TITLE     : An 'executable' impredicative semantics for Ada configuration
AUTHOR(S) : Bucci A., Inverardi P., Martini S.
TYPE      : Other
YEAR      : 1990
CODE      : 452802

*** DO NOT EDIT THIS FILE ***