2 libros en este género
Fundamentals of algebraic specification 2
Hartmut Ehrig
Data Models, Database Languages, and Database Management Systems
Gottfried Vossen
