Surreal numbers - Knuth, Donald E. (Donald Ervin) (rz1, 1974)