Index: doc/bibliography/cfa.bib
===================================================================
--- doc/bibliography/cfa.bib	(revision 03d416f3a58ce0c364115464937bea8778344495)
+++ doc/bibliography/cfa.bib	(revision f2cdc447e88a1db49f6eba0f7b1fc44c3b139f91)
@@ -35,4 +35,5 @@
 @string{osr="Operating Systems Review"}
 @string{pldi="Programming Language Design and Implementation"}
+@string{toplas="Transactions on Programming Languages and Systems"}
 @string{mathann="Mathematische Annalen"}
 % @string{mathann="Math. Ann."}
@@ -5589,5 +5590,5 @@
     keywords	= {Cyclone, existential types, polymorphism, type variables},
     contributer	= {a3moss@plg},
-    author	= {Grossman, Dan},
+    author	= {Dan Grossman},
     title	= {Quantified Types in an Imperative Language},
     journal	= toplas,
@@ -5596,8 +5597,7 @@
     number	= {3},
     month	= may,
-    year	= {2006},
+    year	= 2006,
     issn	= {0164-0925},
-    pages	= {429--475},
-    numpages	= {47},
+    pages	= {429-475},
     url		= {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
     doi		= {10.1145/1133651.1133653},
@@ -5758,4 +5758,13 @@
     month	= dec,
     year	= 1988,
+}
+
+@mastersthesis{Schluntz17,
+    author	= {Robert Schluntz},
+    title	= {Resource Management and Tuples in C$\mathbf{\forall}$},
+    school	= {School of Computer Science, University of Waterloo},
+    year	= 2017,
+    address	= {Waterloo, Ontario, Canada, N2L 3G1},
+    note	= {[[unpublished]]}
 }