克里斯托弗·林奇;韦恩·斯奈德 约束完工的冗余标准。 （英语） Zbl 0873.68189号 西奥。计算。科学。 142，第2期，141-177（1995）.MSC公司：68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}和\textit{W.Snyder}，Theor。计算。科学。142，No.2，141--177（1995；Zbl 0873.68189） 全文： 内政部 OA许可证
克里斯托弗·林奇;韦恩·斯奈德 约束完工的冗余标准。 （英语） Zbl 1503.68293号 克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。690，2-16页（1993年）。MSC公司：68伏15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}和\textit{W.Snyder}，莱克特。注释计算。科学。690，2--16（1993；Zbl 1503.68293） 全文： 内政部
韦恩·斯奈德;克里斯托弗·林奇 目标导向的副调制策略。 （英语） Zbl 1503.68295号 罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 150-161 (1991).MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.Snyder}和\textit{C.Lynch}，莱克特。注释计算。科学。488150-161（1991年；Zbl 1503.68295） 全文： 内政部