TITLE     : Application of correctness preserving transformations for deriving architectural descriptions of interface specifications
AUTHOR(S) : Bernardeschi C, Fantechi A, Paternò F
TYPE      : Other
YEAR      : 1995
CODE      : 411879

*** DO NOT EDIT THIS FILE ***