杰米·摩根斯坦;丹尼尔·李卡塔（Daniel R.Licata）。 独立类型编程中的安全类型编程。 （英语） Zbl 1323.68220号 2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN通告45，第9号，169-180（2010）。MSC公司：68号30 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Morgenstern}和\textit{D.R.Licata}，摘自：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27日至29日。纽约州纽约市：计算机协会（ACM）。169-180（2010年；Zbl 1323.68220） 全文： 内政部
埃尔维·格雷尔 安全执行移动代码的限制标准。 （英语） 兹比尔1146.68351 J.汽车。语言梳。 11，第1期，59-106（2006）.MSC公司：68甲15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Grall}，J.Autom。语言梳。11，第1号，59--106（2006；Zbl 1146.68351）
史蒂夫·兹丹塞维奇;安德鲁·迈尔斯（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） 全文： 内政部