F. Carvalho-Junior, J. Nogueira, and J. Alencar. " Structured platform-aware programming for Rust", in Anais do XXIX Simpósio Brasileiro de Linguagens de Programação, Recife/PE, 2025, pp. 51-58, doi: https://doi.org/10.5753/sblp.2025.11166.