TITLE     : Asso : combining database design with formal methods
AUTHOR(S) : Castelli D, Locuratolo E
TYPE      : Journal article
YEAR      : 1995
CODE      : 241906

*** DO NOT EDIT THIS FILE ***