"Two Mistakes and Error-Free Software: A Confession."

Robert L. Glass (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics