Title: Hyperincursivity
Subjects: Recursion theory, System theory