On homomorphisms, correctness, termination, unfoldments, equivalence of flow diagram programs

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Received 28 February 1973, Available online 27 December 2007.

论文官网地址:https://doi.org/10.1016/S0022-0000(74)80028-0