1. Amazon Alexa 2014. https://developer.amazon.com/alexa Amazon Alexa 2014. https://developer.amazon.com/alexa
2. ANTLR 2019. ANother Tool for Language Recognition. https://www.antlr.org ANTLR 2019. ANother Tool for Language Recognition. https://www.antlr.org
3. Apple HomePod 2019. https://www.apple.com/homepod/ Apple HomePod 2019. https://www.apple.com/homepod/
4. Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org. Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org.