Haupt, Otto: Zur Geometrie in topologisch ebenen hyperbolischen Ebenen. München 1963. Sitzungsberichte: 1962,10. https://publikationen.badw.de/de/003384091