L. V. Kuz’min, T. S. Fofanova, M. Sh. Tsalenko, A. B. Ivanov, V. L. Popov, L. N. Shevrin, V. N. Grishin, M. M. Lavrent’ev, P. S. Soltan, N. M. Nagornyĭ, L. A. Bokut’, S. M. Nikol’skiĭ, A. V. Chernavskiĭ, S. Z. Shefel’, A. G. Dragalin, V. A. Dushskiĭ, S. K. Sobolev, V. E. Plisko, L. D. Kudryavtsev, V. I. Danilov, V. A. Trenogin, N. N. Vil’yams, M. I. Voĭtsekhovskiĭ, V. E. Tarakanov, S. A. Rukova, V. I. Pagurova, I. V. Ostrovskiĭ, A. I. Shtern, Yu. V. Prokhorov, D. V. Anosov, S. A. Stepanov, M. A. Shubin, V. I. Zaĭtsev, M. S. Nikulin, D. D. Sokolov, D. P. Zhelobenko, M. A. Naĭmark, B. A. Pasynkov, E. B. Yanovskaya, E. D. Solomentsev, P. M. Tamrazov, Ü. Lumiste, A. N. Kolmogorov, N. N. Chentsov, R. L. Dobrushin, V. V. Prelov, A. V. Prokhorov, I. N. Vrublevskaya, V. M. Tikhomirov, A. V. Mikhalev, A. A. Tuganbaev, I. V. Dolgachev, E. G. Gol’shteĭn, E. V. Levner, V. A. Il’in, N. N. Ladis, B. V. Khvedelidze, R. V. Duduchava, V. Ya. Arsenin, A. F. Filippov, S. F. Shushurin, A. M. Samoĭlenko, N. Kh. Rozov, R. A. Minlos, B. M. Bredikhin, A. V. Malyshev, Yu. M. Davydov, V. M. Millonshchikov, Yu. A. Brychkov, A. P. Prudnikov, A. P. Soldatov, A. V. Chaernavakiĭ, L. N. Bol’shev, V. I. Ponomarev, B. L. Rozhdestvenskiĭ, Yu. D. Burago, V. A. Zorich, Vik. S. Kulikov, L. N. Sretenskiĭ, Yu. A. Kaz’min, M. K. Samarin, L. A. Yanovich, S. G. Kreĭn, Yu. N. Subbotin, Yu. V. Sudorov, A. L. Semenov, E. G. Sklyarenko, V. V. Pospelov, V. V. Sazonov, A. A. Dezin, G. M. Wing, D. V. Alekseevskiĭ, V. I. Sobolev, V. M. Mikheev, Kh. D. Ikramov, V. A. Iskovskikh, D. A. Ponomarev, A. V. Arkhangel’skiĭ, Yu. I. Merzlyakov, V. A. Dem’yanenko, Yu. S. Il’yashenko, V. M. Millionshchikov, A. A. Mal’tsev, V. A. Zalgaller, O. A. Ivanova, V. T. Fomenko, D. M. Smirnov, I. B. Vapnyarskiĭ, I. Kh. Sabitov, M. A. Shtan’ko, A. L. Onishchik, V. I. Lebedev, A. A. Novikov, A. S. Fedenko, A. N. Tikhonov, L. P. Kuptsov, I. I. Volkov, V. I. Bityutskov, V. N. Remeslennikov, A. N. Shiryaev, T. P. Lukashenko, V. D. Kukin, S. M. Sirota, Yu. V. Sidorov, I. A. Aleksandrov, L. A. Skornyakov, Encyclopaedia of Mathematics, 1995, 123
Newton C. A. Da Costa, Décio Krause, Language, Quantum, Music, 1999, 171
M. Hazewinkel, Encyclopaedia of Mathematics, 1989, 1
Rob van Glabbeek, “On the Meaning of Transition System Specifications”, Electron. Proc. Theor. Comput. Sci., 300, 2019, 69
Robert L. Ashenhurst, “ACM forum”, Commun. ACM, 22, no. 11, 1979, 621
Roland Omnès, “Consistent interpretations of quantum mechanics”, Rev. Mod. Phys., 64, no. 2, 1992, 339
J. A. Bergstra, J. V. Tucker, 115, Automata, Languages and Programming, 1981, 348
20055368, Diophantine Analysis, 2005, 251
N. C. A. da Costa, F. A. Doria, J. A. de Barros, “A Suppes predicate for general relativity and set-theoretically generic spacetimes”, Int J Theor Phys, 29, no. 9, 1990, 935
Keith Weber, Juan Pablo Mejia-Ramos, “Why and how mathematicians read proofs: an exploratory study”, Educ Stud Math, 76, no. 3, 2011, 329