Удалова Ю. В., Легалов А. И., Сиротинина Н. Ю., Кропачева М. С. Об отладке и верификации функционально-потоковых параллельных программ. / Параллельные вычислительные технологии (ПаВТ’2009): Труды международной научной конференции (Нижний Новгород, 30 марта — 3 апреля 2009 г.). — ISBN 978-5-696-03854-4 — Челябинск: Изд. ЮУрГУ, 2009. С. 757—764.[2]Архивная копия от 10 июня 2015 на Wayback Machine
Удалова Ю. В., Легалов А. И., Сиротинина Н. Ю., Кропачева М. С. Об отладке и верификации функционально-потоковых параллельных программ. / Параллельные вычислительные технологии (ПаВТ’2009): Труды международной научной конференции (Нижний Новгород, 30 марта — 3 апреля 2009 г.). — ISBN 978-5-696-03854-4 — Челябинск: Изд. ЮУрГУ, 2009. С. 757—764.[2]Архивная копия от 10 июня 2015 на Wayback Machine
