ECMAScript Committee. The 10th Edition of the ECMAScript Language Specification. ECMA. 2019.
 J. Gibbons et al. Just Do It: Simple Monadic Equational Reasoning. ICFP'11.
 ECMAScript Committee. Test262 test suite. ECMA. 2017.
 G. Gibbons. Calculating Functional Programs. Technical Report.