卡尔·克里；斯蒂芬妮，威里奇 资源约束认证。 （英语） 兹比尔1323.68368 2000年1月19日至21日，美国马萨诸塞州波士顿，POPL'00，第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-125-9）。184-198 (2000). 引用于21文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 第68页第20页 编译与解释理论 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 94A60型 密码学 PDF格式BibTeX公司 XML格式引用 \textit{K.Crary}和\textit{S.Weirich}，in：第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'00，美国马萨诸塞州波士顿，2000年1月19-21日。纽约州纽约市：计算机协会（ACM）。184-198（2000年；Zbl 1323.68368） 全文： 内政部