Bibliography update.

doc/english.bib

@@ -4268,6 +4268,20 @@
   URL          = "http://www.cs.cornell.edu/fbs/publications/sasiNSPW.ps",
 }
 
+@InProceedings{esparza-efficient-00,
+  author       = "Javier Esparza and David Hansel and Peter Rossmanith
+                 and Stefan Schwoon",
+  title        = "Efficient Algorithms for Model Checking Pushdown
+                 Systems",
+  booktitle    = cav,
+  pages        = "232--247",
+  year         = "2000",
+  series       = lncs,
+  volume       = "1855",
+  publisher    = springer,
+  URL          = "https://www7.in.tum.de/um/bibdb/esparza/cav00.pdf",
+}
+
 @Misc{f7,
   author       = "Karthik Bhargavan and Cédric Fournet and Andy Gordon
                  and Sergio Maffeis and Jesper Bengtson",
@@ -7313,6 +7327,16 @@
   URL          = "http://www.cs.brown.edu/~sk/Publications/Papers/Published/kfd-macro-to-gen-prog/paper.ps",
 }
 
+@PhdThesis{krishnaswami-12,
+  author       = "Neelakantan R. Krishnaswami",
+  title        = "Verifying Higher-Order Imperative Programs with
+                 Higher-Order Separation Logic",
+  school       = "School of Computer Science, Carnegie Mellon
+                 University",
+  year         = "2012",
+  URL          = "http://www.cs.cmu.edu/~neelk/thesis.pdf",
+}
+
 @InProceedings{krishnaswami-design-patterns-09,
   author       = "Neelakantan R. Krishnaswami and Jonathan Aldrich and
                  Lars Birkedal and Kasper Svendsen and Alexandre
@@ -11195,6 +11219,14 @@
   URL          = "http://gallium.inria.fr/~fpottier/publis/sfhs.pdf",
 }
 
+@PhdThesis{schwoon-02,
+  author       = "Stefan Schwoon",
+  title        = "Model-Checking Pushdown Systems",
+  school       = "Technische Universit{\"a}t M{\"u}nchen",
+  year         = "2002",
+  URL          = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/schwoon-phd02.pdf",
+}
+
 @Article{scott-lcf-93,
   author       = "Dana S. Scott",
   title        = "A Type-Theoretical Alternative to {ISWIM}, {CUCH},