TY  - GEN
AU  - Neuhold, Erich J.
TI  - FORMAL DESCRIPTION OF PROGRAMMING
U1  - 001.642 
PY  - 1978///
CY  - Amsterdam
PB  - North-Holland
KW  - Programming (Electronic Computers)
KW  - Electronic Digital Computers -- Programming
N1  - Organised By Ifip Technical Committee 2, Programming
ER  -