Index: doc/bibliography/cfa.bib
===================================================================
--- doc/bibliography/cfa.bib	(revision e229c2272ab72542375efbd4ac6ca3037f4360ce)
+++ doc/bibliography/cfa.bib	(revision ef7d253feeb8761ad117e99fc8ea18b18796a5f7)
@@ -356,5 +356,5 @@
 }
 
-@article{Cor:overload,
+@article{Cormack81,
     keywords	= {},
     contributer	= {gjditchfield@plg},
@@ -2922,4 +2922,12 @@
     }
 }
+
+@unpublished{Bilson,
+	keywords = {generic programming, generics, polymorphism},
+	contributor  {a3moss@plg},
+	author = {Richard C. Bilson and Glen Ditchfield and Peter A. Buhr},
+	title = {Generic Programming with Inferred Models},
+}
+
 
 @article{Haskell,
@@ -4540,5 +4548,5 @@
 }
 
-@article{Bak:overload,
+@article{Baker82,
     keywords	= {compilation},
     contributer	= {gjditchfield@plg},
@@ -5455,4 +5463,25 @@
 % Q
 
+@article{Grossman06,
+ keywords = {Cyclone, existential types, polymorphism, type variables},
+ contributer = {a3moss@plg},
+ author = {Grossman, Dan},
+ title = {Quantified Types in an Imperative Language},
+ journal = toplas,
+ issue_date = {May 2006},
+ volume = {28},
+ number = {3},
+ month = may,
+ year = {2006},
+ issn = {0164-0925},
+ pages = {429--475},
+ numpages = {47},
+ url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
+ doi = {10.1145/1133651.1133653},
+ acmid = {1133653},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
 @article{Hoare61,
     keywords	= {quick sort},