On formalised computer programs

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Received 29 August 1969, Available online 27 December 2007.

论文官网地址:https://doi.org/10.1016/S0022-0000(70)80022-8