Шелехов В.И. Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций // № 16, 2020
