--- a/doc-src/manual.bib Fri Aug 13 16:40:47 2010 +0200
+++ b/doc-src/manual.bib Mon Aug 16 10:32:14 2010 +0200
@@ -520,10 +520,10 @@
title = {Code Generation via Higher-Order Rewrite Systems},
booktitle = {Functional and Logic Programming: 10th International Symposium: FLOPS 2010},
year = 2010,
- publisher = {Springer},
- series = {Lecture Notes in Computer Science},
+ publisher = Springer,
+ series = LNCS,
editor = {Matthias Blume and Naoki Kobayashi and Germ{\'a}n Vidal},
- volume = {6009}
+ volume = 6009
}
@InProceedings{Haftmann-Wenzel:2009,