"Verified Textbook Algorithms - A Biased Survey."

Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics