Surreal numbers, exponentiation and derivations - Alessandro Berarducci (2020)