https://www.goedel.cz/reference.html