沃尔特·古特曼 统一懒惰和严格的计算。 (英语) Zbl 1330.68074号 Kahl,Wolfram(编辑)等人,《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33313-2/pbk)。计算机科学课堂讲稿7560,17-32(2012)。MSC公司:2005年第68季度 68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},莱克特。票据计算。科学。7560,17-32(2012;Zbl 1330.68074) 全文: 内政部
何继峰;C.A.R.霍尔。 从代数到操作语义。 (英语) Zbl 0795.68124号 信息处理。莱特。 45,No.2,75-80(1993).MSC公司:第68季度55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{C.A.R.Hoare},Inf.过程。莱特。45,第2号,75--80(1993;Zbl 0795.68124) 全文: 内政部