Matematičeskij ènciklopedičeskij slovar' - Prochorov, Jurij Vasil‘jevič, 1929-2013 (Sovetskaja ènciklopedija, 1988)