Hartley Rogers, Jr.: Theory of Recursive Functions and Effective Computability, Site 2. Eso chönne si implementiert wärde, zum im ene Kompiuterbrogramm usgfüert z wärde, aber mä cha sä au in menschliger Sprooch formuliere.