"О типах сходства и рекурсивного изоморфизма ограниченных частично рекурсивных функций" - читать интересную книгу автора (Литвинов Н.В.)