Formal description techniques, IV  proceedings of IFIP TC6/WG6.1...FORTE'91, Sydney, 19-22 Nov. 1991 
 FORTE'91 
edited by K. R. Parker, G. A. Rose 
 - Amsterdam :  North-Holland Publishing Company,  1992 
 - 574 p. :  ill. ;  25 cm. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming--Congresses<br/>Formal languages--Congresses