https://9lib.net/document/nzwo58vy-goedel-type-metrics-in-three-dimensions.html