--- a/src/Doc/manual.bib Mon Oct 24 20:32:02 2016 +0200
+++ b/src/Doc/manual.bib Mon Oct 24 20:58:07 2016 +0200
@@ -372,13 +372,14 @@
publisher = {{ACM}},
}
-@misc{blanchette-et-al-2016-fouco2,
+@misc{blanchette-et-al-201x-amico,
author = {Jasmin Christian Blanchette and
+ Aymeric Bouzy and
Andreas Lochbihler and
Andrei Popescu and
Dmitriy Traytel},
- title = {Productivity for free: Friendly Corecursion for {Isabelle\slash HOL}},
- howpublished = "\url{http://www21.in.tum.de/~blanchet/fouco2.pdf}",
+ title = {Friends with benefits: Implementing corecursion in foundational proof assistants},
+ howpublished = "\url{http://www21.in.tum.de/~blanchet/amico.pdf}",
year = 2016}
@inproceedings{blanchette-et-al-2014-impl,