TITLE     : Formal development of databases in ASSO and B
AUTHOR(S) : Matthews B, Locuratolo E
TYPE      : Conference article
YEAR      : 1999
CODE      : 407745

*** DO NOT EDIT THIS FILE ***