Encyclopedic dictionary of mathematics - Ito, Kiyosi, 1915-2008; Nihon, Sugakkai (MIT Press, 1985)