"Using Correctness-by-Construction to Derive Dead-zone Algorithms."

Bruce W. Watson, Loek G. Cleophas, Derrick G. Kourie (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics