Удалова Ю.В. Отладка и верификация функционально-потоковых параллельных программ : автореф. дис. .. канд. техн. наук: 05.13.11 / Ю. В. Удалова, 2015. - 22 с. - Текст : непосредственный.