Александров, Виктор Васильевич <br/><br/>
Автоматизированная обработка информации на языке предикатов /  
В. В. Александров, Г. А. Булкин, А. О. Поляков. 
 - Москва :   Наука,   1982. 
<br/><br/><label>Universal Decimal Class. No.: </label>681.3