ECMAScript Committee. The 10th Edition of the ECMAScript Language Specification. ECMA. 2019
 W3C Working Group. Web Workers. 2015.
 M. Abadi et al. A Model of Cooperative Threads. POPL'09.
 G. Boudol. Fair Cooperative Multithreading. ICCT'07.
 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.