Formal description of programming concepts--II  proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 
edited by Dines Bjorner 
 - Amsterdam  North-Holland Pub. Co.  1983 
 - xii, 455 p.  23 cm. 
<br/><br/> "Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal languages<br/>Computer programming
<br/><br/><label>Dewey Class. No.: </label>001.64  / 2