TY  - BOOK
AU  - Neuhold,Erich J.
ED  - IFIP Working Conference on Formal Description of Programming Concepts (St. Andrews, N.B : (1977)
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
U1  - 001.64 
PY  - 1978///
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Formal languages
KW  - Computer programming
ER  -