John Launchbury. Galois: high assurance software. In Chris Okasaki, Kathleen Fisher, editors, Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. pages 3, ACM, 2004. [doi]
Abstract is missing.