Silva, Rafael, and João Alcântara.
"ASPIC? and the Postulates of Non-interference and Crash-Resistance." <em>Anais da X Brazilian Conference on Intelligent Systems,
Online, 2021</em>. SBC, 2021,  
sem paginação.