罗伊·克罗。;安德鲁·戈登。 为输入/输出效果关联操作语义和指称语义。 （英语） Zbl 0946.68089号 数学。结构。计算。科学。 9，第2期，125-158（1999）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Crole}和\textit{A.D.Gordon}，数学。结构。计算。科学。9，编号2，125--158（1999；Zbl 0946.68089） 全文： 内政部
罗伊·克罗。;安德鲁·戈登。 输入/输出效果的合理元语义。 （英语） Zbl 1044.68667号 Leszek（编辑）等，《计算机科学逻辑》。1994年9月25日至30日，波兰卡齐米尔兹CSL’94第八次研讨会。精选论文。柏林：Springer-Verlag（ISBN 3-540-60017-5）。莱克特。注释计算。科学。933, 339-353 (1995).MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Crole}和\textit{A.D.Gordon}，Lect。注释计算。科学。933339-353（1995年；兹bl 1044.68667）
罗伊·克罗。;安德鲁·戈登。 考虑充分性证明（初步报告）。 （英语） Zbl 0830.68022号 O'Donnell，John T.（编辑）等人，《函数编程》。1993年格拉斯哥研讨会论文集，苏格兰艾尔，英国，1993年7月5-7日。伦敦：Springer-Verlag（与英国计算机学会合作）。计算机研讨会。9-25（1994年）。MSC公司：68甲15 03B70号 68T27型 68T99型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Crole}和\textit{A.D.Gordon}，in：函数式编程。1993年格拉斯哥研讨会论文集，苏格兰艾尔，英国，1993年7月5-7日。伦敦：Springer-Verlag（与英国计算机学会合作）。9-25（1994年；Zbl 0830.68022）