"Theorem Proving for Verification: The Early Days."

J Strother Moore (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics