1. The Hubble Space Telescope Optical System Failure Report. Technical report, NASA (1990)
2. Afshar, S.K., Siddique, U., Mahmoud, M.Y., Aravantinos, V., Seddiki, O., Hasan, O., Tahar, S.: Formal Analysis of Optical Systems. Mathematics in Computer Science 8(1) (2014), http://arxiv.org/abs/1403.3039
3. Hales, T.C.: Introduction to the Flyspeck Project. In: Mathematics, Algorithms, Proofs. Dagstuhl Seminar Proceedings, vol. 05021 (2005)
4. Saleh, B.E.A., Teich, M.C.: Fundamentals of Photonics (2007)
5. Siddique, U., Aravantinos, V., Tahar, S.: A New Approach for the Verification of Optical Systems. In: Optical System Alignment, Tolerancing, and Verification VII. SPIE, vol. 8844, pp. 88440G-1–88440G-14 (2013)