misc cleanup

docs/src/references.bib

@@ -176,11 +176,17 @@ @article{grassl2002algorithmic
 
 % Examples of results that employ the tableaux formalism
 
-@article{gullans2020quantum,
-  title={Quantum coding with low-depth random circuits},
-  author={Gullans, Michael J and Krastanov, Stefan and Huse, David A and Jiang, Liang and Flammia, Steven T},
-  journal={arXiv preprint arXiv:2010.09775},
-  year={2020}
+@article{gullans2021quantum,
+  title = {Quantum {{Coding}} with {{Low-Depth Random Circuits}}},
+  author = {Gullans, Michael J. and Krastanov, Stefan and Huse, David A. and Jiang, Liang and Flammia, Steven T.},
+  year = {2021},
+  month = sep,
+  journal = {Physical Review X},
+  volume = {11},
+  number = {3},
+  pages = {031066},
+  issn = {2160-3308},
+  doi = {10.1103/PhysRevX.11.031066}
 }
 
 @article{krastanov2020heterogeneous,
@@ -190,6 +196,23 @@ @article{krastanov2020heterogeneous
   year={2020}
 }
 
+@article{knill1996concatenated,
+  title={Concatenated quantum codes},
+  author={Knill, Emanuel and Laflamme, Raymond},
+  journal={arXiv preprint quant-ph/9608012},
+  year={1996}
+}
+
+@inproceedings{brown2013short,
+  title = {Short Random Circuits Define Good Quantum Error Correcting Codes},
+  booktitle = {2013 {{IEEE International Symposium}} on {{Information Theory}}},
+  author = {Brown, Winton and Fawzi, Omar},
+  year = {2013},
+  month = jul,
+  pages = {346--350},
+  doi = {10.1109/ISIT.2013.6620245}
+}
+
 @article{nahum2017quantum,
 	title = {Quantum Entanglement Growth under Random Unitary Dynamics},
 	volume = {7},