@inbook{LM1,
title = {The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq },
author = {Larchey-Wendling, Dominique and Monin, Jean-Fran\c{c}ois},
month = {September},
year = {2021},
booktitle = {Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification},
chapter = {8},
crossref = {proof-comput-II},
pages = {305--386},
publisher = {World Scientific},
team = {PACSS},
pdf = {https://www-verimag.imag.fr/~monin/Publis/Docs/Braga-chapbook21.pdf},
}
