TITLE     : Deriving manuals from formal specifications. Extended version
AUTHOR(S) : Massink M, Latella D
TYPE      : Other
YEAR      : 2003
CODE      : 160078

*** DO NOT EDIT THIS FILE ***