Дробинцев П.Д. Интегрированная технология обеспечения качества программных продуктов с помощью верификации и тестирования. Канд. дис. СПГПУ. 2006. 238 с.
Замышляев А.Н. Визуализация недетерминированных сценариев ПО при возвратном проектировании. Дипломная работа. СПбГУ. 2005. 34 с.
Pauly M. Logic for Social Software. PhD Thesis. Amsterdam. 2001. 193 p.