Konceptual' n'yj uroven' termina : op'yt formalizacii i komp' juternogo v'yčislenija - Šelov, Sergej Dmitrievič (Array, 2020)