Hans Rohrbach. Das Axiomensystem van Erhard Schmidt für die Menge der natürlichen Zahlen. Mathematische Nachrichten, vol. 4 (1951), pp. 315–321. | The Journal of Symbolic Logic | Cambridge Core
PDF) The calculation of standard coordinates in Schmidt plate astrometry