Teorija rekursii. (Nauka, 1982)