https://1library.org/document/zp2jm87y-topological-domain-theoretical-study-total-computable-functions.html