https://9dok.net/document/y4wrnm7v-vl-primitive-rekursion-berechenbarkeit-komplexit-ws-gerhard-woeginger.html