Enguehard, G.; Luo, X.; Lampitelli, N. Constructing Languages to Explore Theoretical Principles. RiC 2022, 9.