A model for HAS. A topological interpretation of the theory of species of natural numbers Dirk van Dalen — 1974 Fundamenta Mathematicae