"Cardinality logics, part I: inclusions between languages based on 'exactly'."

Harold Hodes (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics