史蒂夫·兹丹塞维奇；安德鲁·迈尔斯（Andrew C.Myers）。 通过线性延续保护信息流。 （英语） Zbl 1030.68015号 高-订购符号。计算。 15，编号2-3，209-234（2002）.MSC公司：68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Zdancewic}和\textit{A.C.Myers}，高-订购符号。计算。15、编号2--3、209--234（2002；Zbl 1030.68015） 全文： 内政部
史蒂夫·兹丹塞维奇；安德鲁·迈尔斯（Andrew C.Myers）。 安全信息流和CPS。 （英语） Zbl 0977.68021号 David Sands（编辑），《编程语言和系统》。2001年4月2日至6日在意大利热那瓦举行的第十届欧洲程序设计研讨会（ESOP 2001），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2028年，46-61（2001年）。MSC公司：68号30 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Zdancewic}和\textit{A.C.Myers}，莱克特。票据计算。科学。2028，46-61（2001；Zbl 0977.68021） 全文： 链接