Morris Chudleigh, Chris Berridge, Jenny Butler, Rodney May, Ian Poole. SADLI: Functional Programming in a Safety Critical Application. In Felix Redmill, Tom Anderson, editors, Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996. pages 223-242, Springer, 1996. [doi]