Шелехов В.И. Дедуктивная верификация и оптимизация предикатной программы конкатенации строк // № 12, 2018
