TY  - BOOK
AU  - Neuhold,Erich J.
ED  - IFIP TC-two Working Conference on Formal Description of Programming Concepts
TI  - Formal description of programming concepts: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 
SN  - 0444851070 :
U1  - 001.6424 
PY  - 1978///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Computer programming
KW  - Congresses
KW  - Formal languages
N1  - Includes index
ER  -