TITLE     : A methodology for specifyng shared abstract data types
AUTHOR(S) : Bondavalli A, De Francesco N, Latella D, Vaglini G
TYPE      : Other
YEAR      : 1987
CODE      : 419749

*** DO NOT EDIT THIS FILE ***