Логика и компьютер:  Моделирование рассуждений и проверка правильности программ/ 
Академия наук СССР; Ред.кол. : И.М. Макаров,С.В. Емельянов,Н.Н. Шереметевский и др. 
 - Москва:  Наука,  1990. 
 - 238 с. 
 - Кибернетика-неограниченные возможности и возможные ограничения .
<br/><br/>Библиогр. : с.231-235