TY  - BOOK
AU  - Bjorner,D.
ED  - IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany)
ED  - IFIP Technical Committee 2--Programming.
TI  - 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
U1  - 001.64 
PY  - 1983///
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Formal languages
KW  - Computer programming
N1  - "Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p
ER  -