Шелехов, В. И.     Верификация и синтез эффективных программ стандартных функций в технологии предикатного программирования [Текст] / В.И. Шелехов // Программная инженерия : Теоретический и прикладной научно-технический журнал. — М. : "Новые технологии", 2011. — №2. — с.14-21.