Vyčislimosť. Vvedenije v teoriju rekursivnych funkcij. - CUTLAND, N. (1983)
Záznam neprešiel kontrolou