Mallku Soldevila Beta Ziliani Bruno Silvestre Daniel Fridlender Fabio Mascarenhas Decoding Lua: formal semantics for the developer and the semanticist. 75-86 2017 DLS https://doi.org/10.1145/3133841.3133848 https://doi.org/10.1145/3170472.3133848 conf/dls/2017 db/conf/dls/dls2017.html#SoldevilaZSFM17