Смальян Р. <br/><br/>
Теория формальных систем. 
Смальян Р. 
 - М.  Наука  1981 
 - 208 с. 
<br/><br/><label>Dewey Class. No.: </label>510.6