https://123dok.org/document/6qmenk4z-a-class-of-reversible-primitive-recursive-functions.html