Artemov, S. N.; Barzdiņš, J. M.; Bokut', L. A.; Gurevich, Yu. Sh.; Dekhtyar', A. M.; Levin, L. A.; Lomazova, I. A.; Matiyasevich, Yu. V.; Nepomnyashchii, V. A.; Novikov, S. P.; Rabinovich, A.; Sazonov, V. Yu.; Slisenko, A. O.; Sokolov, V. A.; Trakhtenbrot, M. B.; Shilov, N. V.