Encyclopedic dictionary of mathematics (MIT, 1980)