On models in the alternative set theory Michal Resl (1979) Commentationes Mathematicae Universitatis Carolinae
On models of arithmetic having non-modular substructure lattices A. Wilkie (1977) Fundamenta Mathematicae