Детловс, В. К. Нормальные алгорифмы и рекурсивные функции / В. К. Детловс // Доклады Академии Наук СССР. — 1953. — Т. XC, № 5 — С. 723—725.