1. [n. d.]. Irdeto Cloaked CA: a secure flexible and cost-effective CA system. https://irdeto.com/video-entertainment/conditional-access-system/.
2. [n. d.]. The Tigress C Diversifier/Obfuscator. http://tigress.cs.arizona.edu/.
3. Syntax-guided synthesis
4. Rajeev Alur, Arjun Radhakrishna, and Abhishek Udupa. 2017. Scaling Enumerative Program Synthesis via Divide and Conquer. In Tools and Algorithms for the Construction and Analysis of Systems, Axel Legay and Tiziana Margaria (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 319--336.
5. Franz Baader and Tobias Nipkow. 1998. Term Rewriting and All That. Cambridge University Press, New York, NY, USA.