Information Systems :  theoretical and formal aspects proceedings of the IFIP WG 8.1 working conf. on theoretical & formal aspects information systems, Stiges, Barcelona, Spain, 16-18 April, 1985 / 
editedby A. Sernadas, J. Bubenko & A. Olive 
 - Amsterdam :  North-Holland,  1985. 
 - 236p. :  ill. ;  23cm. 
<br/><br/>Bibliography : p. 235-236 
<br/><br/><label>ISBN: </label>0444877061 
<br/><br/><label>LCCN: </label>84-20765 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Congresses.<br/>Data base management--Congresses.