标签
本文提供了Peter Henderson 1982年关于纯函数式操作系统的论文扫描版，该论文此前在网上难以获取。
这篇1996年的论文探讨了尽管缺乏形式化证明，软件可靠性却日益提高的原因，讨论了非正式方法和工程实践。