https://123dok.org/document/6zk4vvmq-review-oosten-jaap-partial-combinatory-algebras-functions-notre.html