Формальная и интуитивная семантика языка программирования на примерах JS и JSX
https://bookflow.ru/formalnaya-i-intuitivnaya-semantika-yazyka-programmirovaniya-na-primerah-js-i-jsx/
https://bookflow.ru/formalnaya-i-intuitivnaya-semantika-yazyka-programmirovaniya-na-primerah-js-i-jsx/