Reliable Software Technologies (D. Craeynest and A. Strohmeier (Eds.)) - Ada-Europe 2001 Proceedings of 6th Ada-Europe International Conference, Leuven, Belgium, May 14-18, 2001 LNCS 2043 Springer

• Amey, Peter (2001) Amey, Peter "Logic versus Magic in Critical Systems"