@inproceedings{NipkowEH-ATVA20,
author = {Tobias Nipkow and Manuel Eberl and Maximilian P. L. Haslbeck},
title = {Verified Textbook Algorithms. {A} Biased Survey},
booktitle = {ATVA 2020, Automated Technology for Verification and Analysis},
editor = {Dang Van Hung and Oleg Sokolsky},
publisher = {Springer},
series = {LNCS},
volume = {12302},
pages = {25--53},
year =2020,
note = {Invited paper}
}