1. [n.d.]. eclipsesource/J2V8: Java Bindings for V8. https://github.com/eclipsesource/J2V8. Accessed: 2020-4-22.
2. [n.d.]. JavaScript | MDN. https://developer.mozilla.org/en-US/docs/Web/JavaScript. Accessed: 2020-4-22.
3. [n.d.]. Lodash. https://lodash.com/. Accessed: 2020-4-22.
4. Recursive Program Synthesis
5. Syntax-guided synthesis;Alur Rajeev;Dependable Software Systems Engineering,2015