Артём Арутюнян - "Формальная и интуитивная семантика языка программирования на примерах JS и JSX"