ECMAScript Committee. The 10th Edition of the ECMAScript Language Specification. ECMA. 2019
 Preact library. https://preactjs.com.
 ReactJS. https://reactjs.org.
 DOM API Specification. https://dom.spec.whatwg.org.
 J. Reynolds. Separation Logic: A Logic for Shared Mutable Data Structures. LICS'02.
 P. Godefroid et al. DART: Directed Automated Random Testing. PLDI'05.
 C. Calcagno et al. Compositional Shape Analysis by Means of Bi-abduction. J. ACM. 2011.
 E. Torlak. A Lightweight Symbolic Virtual Machine for Solver Aided Host Languages. PLDI'14.