Classification calculus. The classification correctness - G. A. Kravtsov; V. I. Koshel (Electronic modeling, 2017)