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