"SpringerEOM", Encyclopedia of Mathematics, EMS Press, 2001 [1994]