Recursion Theory - sidottu, Englanti, 1985