Абрамов, Сергей  Александрович <br/><br/>
Элементы  анализа  программ:  Частичные  функции  на  множестве  состояний / 
С. А. Абрамов;  ред.: Н. И. Воронина 
 - Москва:  Наука,  1986. 
 - 128 с. 
 - Библиотека  программиста .
<br/><br/>Библиогр.: с. 127-128