TITLE     : Top-down mathematical semantics and symbolic execution
AUTHOR(S) : Degano P., Sirovich F.
TYPE      : Other
YEAR      : 1979
CODE      : 422095

*** DO NOT EDIT THIS FILE ***