1. Brodie, M. L. Specification and verification of data base integrity, Ph.D. Thesis, University of Toronto, 1978.
2. Fox, M. Constraint-Directed Search: A Case Study of Job-Shop Scheduling, Ph.D. Thesis, Carnegie-Mellon University, 1983.
3. Enterprise modeling for database specification and design