Books by Michael L. Brodie
Migrating legacy systems
Readings in artificial intelligence and databases
On conceptual modelling
Data abstraction, databases, and conceptual modelling
Specification and verification
Specification and verification of data base semantic integrity
Specification of data base sem
Specification of data base semantic integrity
A relational data base management system