Recursive definitions on surreal numbers - Antongiulio Fornasiero (2006)