Named in honor of Svyatoslav Sergeevich Lavrov {1923– }, director of the Institute for Theoretical Astronomy, Leningrad, a corresponding member of the U.S.S.R. Academy of Sciences, and a well-known authority on computer mathematics and computer languages. (M 7617) _ _.