"A Characterization of Abstract Data as Model-Theoretic Invariants."

Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli (1979)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics