Changes in doc/bibliography/cfa.bib [71b5d4d3:7bb37fc]

File:

• doc/bibliography/cfa.bib (modified) (2 diffs)

doc/bibliography/cfa.bib

@@ -4685 +4685 @@
 }
 
-@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    = {},
@@ -5870 +5851 @@
 }
 
-@article{Pennello80,
-        contributer = {a3moss@uwaterloo.ca},
-        author = {Pennello, Tom and DeRemer, Frank and Meyers, Richard},
-        title = {A Simplified Operator Identification Scheme for {Ada}},
-        journal = {SIGPLAN Notices},
-        issue_date = {July-August 1980},
-        volume = {15},
-        number = {7 and 8},
-        month = jul,
-        year = {1980},
-        issn = {0362-1340},
-        pages = {82--87},
-        numpages = {6},
-        url = {http://doi.acm.org/10.1145/947680.947688},
-        doi = {10.1145/947680.947688},
-        publisher = {ACM},
-        address = {New York, NY, USA},
-}
-
 @inproceedings{Dice10,
     keywords    = {hardware, synchronization, transactional memory},