1. M. Adam B. J. Mutschler On Wedderburn's theorem about finite division algebras http://www.math.uni-bielefeld.de/LAG/man/
2. Formalization, primitive concepts, and purity;Baldwin;Rev. Symb. Log.,2013
3. Taltheoretiske undersølgelser;Bang;Tidskrift f. Math,1886