斯蒂芬·布鲁克斯;O'Hearn，Peter W。;乌代·雷迪 雷诺兹的精髓。 （英语） Zbl 1342.01029号 正式Asp。计算。 26，第3期，435-439（2014）.MSC公司：01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{S.Brookes}等人，正式Asp。计算。26，第3号，435--439（2014；Zbl 1342.01029） 全文： 内政部
斯蒂芬·布鲁克斯;O'Hearn，Peter W。;乌代·雷迪 雷诺兹的精髓。 （英语） 兹比尔1284.68168 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。251-255（2014年）。MSC公司：68号30 68甲15 01A70号 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Brookes}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。251--255（2014年；Zbl 1284.68168） 全文： 内政部