Mathematical reliability: An expository perspective - Ed by Soyer, Refik (Kluwer Academic Publishers, 2004)