2 livres dans ce genre
Fundamentals of algebraic specification 2
Hartmut Ehrig
Data Models, Database Languages, and Database Management Systems
Gottfried Vossen