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