Коваль, В. <br/><br/>
Концепторные языки :  Доказательное проектирование / 
В. Коваль ; Науч. Ин-т им. В. М. Глушкова. 
 - Москва,  2001. 
 - 173 с. 
<br/><br/><label>ISBN: </label>5120005543 
<br/><br/><label>Subjects--Index Terms: </label>ალბათობის თეორია მათემატიკა 
<br/><br/><label>Universal Decimal Class. No.: </label>519.21