TITLE     : Formal description and validation of an interaction policy in an object-oriented framework
AUTHOR(S) : Fantechi A, Gnesi S, Semini L
TYPE      : Other
YEAR      : 1999
CODE      : 407459

*** DO NOT EDIT THIS FILE ***