Tag
This article provides a scan of Peter Henderson's 1982 paper on purely functional operating systems, which was previously hard to access online.
This 1996 paper explores the reasons behind the increasing reliability of software despite the lack of formal proofs, discussing informal methods and engineering practices.