--- a/src/HOL/Library/document/root.bib Sun Jan 15 20:00:22 2023 +0100
+++ b/src/HOL/Library/document/root.bib Sun Jan 15 20:00:37 2023 +0100
@@ -58,4 +58,15 @@
title = {Lazy Algebraic Types in {Isabelle/HOL}},
booktitle = {Isabelle Workshop 2018},
year = 2018,
-}
\ No newline at end of file
+}
+
+@inproceedings{Haftmann-Nipkow:2010:code,
+ author = {Florian Haftmann and Tobias Nipkow},
+ title = {Code Generation via Higher-Order Rewrite Systems},
+ booktitle = {Functional and Logic Programming: 10th International Symposium: FLOPS 2010},
+ year = 2010,
+ publisher = Springer,
+ series = LNCS,
+ editor = {Matthias Blume and Naoki Kobayashi and Germ{\'a}n Vidal},
+ volume = 6009
+}