Huzar, Zbigniew <br/><br/>
Lotos - jezyk formalnych specyfikacji systemow informatycznych / 
Zbigniew Huzar. 
 - Wrocław :  Oficyna Wydawnicza Politechniki Wrocławskiej,  2007. 
 - 264 p. :  ill. 
<br/><br/>Bibliogr.: p. 252-264 
<br/><br/><label>ISBN: </label>9788374933353 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming<br/>Formal languages