2 libri in questo genere
Fundamentals of algebraic specification 2
Hartmut Ehrig
Data Models, Database Languages, and Database Management Systems
Gottfried Vossen