--- a/src/Doc/manual.bib Fri Oct 11 18:36:51 2013 +0200
+++ b/src/Doc/manual.bib Mon Oct 14 15:01:37 2013 +0200
@@ -794,6 +794,16 @@
pages = {205-216},
publisher = {Elsevier}}
+@inproceedings{Huffman-Kuncar:2013:lifting_transfer,
+ author = {Brian Huffman and Ond\v{r}ej Kun\v{c}ar},
+ title = {{Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL}},
+ booktitle = {Certified Programs and Proofs (CPP 2013)},
+ year = 2013,
+ publisher = Springer,
+ series = {Lecture Notes in Computer Science},
+ volume = {8307},
+}
+
@Book{Huth-Ryan-book,
author = {Michael Huth and Mark Ryan},
title = {Logic in Computer Science. Modelling and reasoning about systems},