Title: The formal specification of an abstract database:  design and implementation
Subjects: Computer science