//-->
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Hermes, Hans, (1971)
Trade Theory in Computable General Equilibrium Models : Armington, Krugman and Melitz
Dixon, Peter B., (2018)
Programs and machines : an introd. to the theory of computation
Bird, Richard, (1976)