西村，广和祖 描述完整的流程逻辑。 （英语） Zbl 0423.68005号 学报信息。 14, 359-369 (1980). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于6评论引用于9文件 MSC公司： 68问题65 抽象数据类型；代数规范 关键词：过程逻辑;程序的动态属性;命题动态逻辑;时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{西村H.Nishimura}，Acta Inf.14，359--369（1980；Zbl 0423.68005） 全文： 内政部