"Countering Trusting Trust through Diverse Double-Compiling."

David A. Wheeler (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics