Шелехов В.И. Трансформация и верификация программы сортировки прикрепленных к шине устройств // № 18, 2021
