TITLE     : Formal modelling of database dynamic aspects
AUTHOR(S) : Castelli D, Locuratolo E
TYPE      : Other
YEAR      : 1994
CODE      : 408872

*** DO NOT EDIT THIS FILE ***