Конкретна алгоритміка - Провотар, О.І.; Провотар, О.О. (Компьютерная математика, 2016)
Розглядаються питання конкретизації тези Чорча та її застосування в методології обчислюваності.