Index: doc/bibliography/cfa.bib
===================================================================
--- doc/bibliography/cfa.bib	(revision 7bb37fc39aa6b85202a689dec1bc67868466220f)
+++ doc/bibliography/cfa.bib	(revision e3d1cc1cc41dfd30d0ace9e1dc26baf3cf303ced)
@@ -4685,4 +4685,23 @@
 }
 
+@article{Ganzinger80,
+	contributer = {a3moss@uwaterloo.ca},
+	author = {Ganzinger, Harald and Ripken, Knut},
+	title = {Operator Identification in {ADA}: Formal Specification, Complexity, and Concrete Implementation},
+	journal = {SIGPLAN Notices},
+	issue_date = {February 1980},
+	volume = {15},
+	number = {2},
+	month = feb,
+	year = {1980},
+	issn = {0362-1340},
+	pages = {30--42},
+	numpages = {13},
+	url = {http://doi.acm.org/10.1145/947586.947589},
+	doi = {10.1145/947586.947589},
+	publisher = {ACM},
+	address = {New York, NY, USA}
+}
+
 @article{Ford82,
     keywords	= {},