Hilgert, Joachim: Group theoretical aspects of Gödel's cosmological model. . In: Jahrbuch der Gödel Gesellschaft. Vol.1991, page311