--- a/latex/cpdt.bib	Tue Feb 12 11:14:52 2013 -0500
+++ b/latex/cpdt.bib	Wed Feb 13 10:22:18 2013 -0500
@@ -73,6 +73,7 @@
     title =        {{seL4}: Formal Verification of an {OS} Kernel},
     booktitle =    {Proceedings of the 22nd {ACM Symposium on Operating Systems Principles}},
     year =         {2009},
+    pages =        {207--220}
 }
 
 @Book{Isabelle/HOL,
@@ -113,6 +114,7 @@
   title = {Inductive Definitions in the System {Coq} - Rules and Properties},
   year = {1993},
   booktitle = {Proceedings of the International Conference on {Typed Lambda Calculi and Applications}},
+  pages = {328--345}
 }
 
 @inproceedings{SetsInTypes,
@@ -120,6 +122,7 @@
   title     = {Sets in Types, Types in Sets},
   booktitle = {Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software},
   year      = {1997},
+  pages     = {530--546}
 }
 
 @article{CoC,
@@ -133,8 +136,9 @@
 @inproceedings{GADT,
   author = {Hongwei Xi and Chiyan Chen and Gang Chen},
   title = {Guarded Recursive Datatype Constructors},
-  booktitle = {Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages},
-  year = {2003}
+  booktitle = {Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+  year = {2003},
+  pages = {224--235}
 }
 
 @article{Curry,
@@ -162,7 +166,7 @@
  title = {Higher-order abstract syntax},
  booktitle = {Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation},
  year = {1988},
-% pages = {199--208},
+ pages = {199--208}
 } 
 
 @article{HOU,
@@ -187,6 +191,7 @@
  title = {The essence of functional programming},
  booktitle = {Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = {1992},
+ pages = {1--14}
 } 
 
 @inproceedings{IO,
@@ -194,13 +199,15 @@
  title = {Imperative functional programming},
  booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = {1993},
+ pages = {71--84}
 } 
 
 @InProceedings{separation,
   author = 	 {John C. Reynolds},
   title = 	 {Separation Logic: A Logic for Shared Mutable Data Structures},
   booktitle =    {Proceedings of the IEEE Symposium on Logic in Computer Science},
-  year = 	 {2002}
+  year = 	 {2002},
+  pages =        {55--74}
 }
 
 @article{Okasaki,
@@ -235,6 +242,7 @@
  title = {Proof-carrying code},
  booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = {1997},
+ pages = {106--119}
 }
 
 @inproceedings{XCAP,
@@ -242,6 +250,7 @@
  title = {Certified assembly programming with embedded code pointers},
  booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = {2006},
+ pages = {320--333}
  }
 
 @TechReport{IT,
@@ -257,7 +266,8 @@
  author = {Xavier Leroy and Herv\'e Grall},
  title = {Coinductive big-step operational semantics},
  year = {2006},
- booktitle = {Proceedings of the 15th European Symposium on Programming}
+ booktitle = {Proceedings of the 15th European Symposium on Programming},
+ pages = {54--68}
 }
 
 @InBook{WinskelDomains,
@@ -300,7 +310,7 @@
  title = {How to make ad-hoc polymorphism less ad hoc},
  booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = {1989},
-% pages = {60--76},
+ pages = {60--76}
 } 
 
 @inproceedings{reflection,
@@ -308,6 +318,7 @@
   title     = {Using reflection to build efficient and certified decision procedures},
   booktitle = {Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software},
   year      = {1997},
+  pages     = {515--529}
 }
 
 @inproceedings{JMeq,
@@ -359,6 +370,7 @@
 title = {A Verified Compiler for an Impure Functional Language},
 booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 year = {2010},
+pages = {93--106}
 }
 
 @inproceedings{Isar,
@@ -366,6 +378,7 @@
  title = {Isar - A Generic Interpretative Approach to Readable Formal Proof Documents},
  booktitle = {Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics},
  year = {1999},
+ pages = {167--184}
 } 
 
 @article{continuations,