Formal models and practical tools for information systems design :  proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 / 
edited by Hans-Jochen Schneider. 
 - Amsterdam ;  New York :  North-Holland Pub. Co. ;  sole distributors for the U.S.A. and Canada, Elsevier North-Holland ,  1979. 
 - ix, 297 p.  ill. ;  23 cm. 
<br/><br/> "Organized by IFIP Technical Committee 8, Information Systems, International Federation for Information Processing." 
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>0444853944 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Information storage and retrieval systems--Congresses.<br/>Formal languages--Congresses.<br/>Computer programming--Congresses.