1. Aaronson, S., & Arkhipov, A. (2001). The computational complexity of linear optics. Retrieved from http://www.scottaaronson.com/papers/optics.pdf
2. Bacon, D. (2008). Self-correcting quantum computers (part II). Retrieved from http://scienceblogs.com/pontiff/2008/08/selfcorrecting_quantum_compute_1.php
3. Bernardeschi, C., Fantechi, A., & Simoncin, L. (1994). Formal reasoning on fault coverage of fault tolerant techniques: A case study. In K. Echtle, D. Hammer, & D. Powell (Eds.), Proceedings of the First European Dependable Computing Conference (LNCS 852, pp. 77-94).
4. Courcelle, B. (2011). Graph structure and monadic second-order logic, a language theoretic approach. Retrieved from http://www.labri.fr/perso/courcell/Book/TheBook.pdf
5. De Florio, V., & Blondia, C. (2008). A survey of linguistic structures for application-level fault tolerance. ACM Computing Surveys, 40(2), 6.