TITLE     : Enhancing database system quality through formal design
AUTHOR(S) : Castelli D, Locuratolo E
TYPE      : Conference article
YEAR      : 1995
CODE      : 240178

*** DO NOT EDIT THIS FILE ***