Бурдонов И.Б., Косачев А.С. Финальные модели спецификаций и реализаций. Новые информационные технологии в исследовании сложных структур. Материалы девятой российской конференции с международным участием. Томск, «Издательство НТЛ», 2012, стр.54. doc, pdf, ppt