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 -