Silva, Rafael, E 		Alcântara, João.
" ASPIC? and the Postulates of Non-interference and Crash-Resistance" <em>Anais da Brazilian Conference on Intelligent Systems (BRACIS)</em> [Online], (29 novembro 2021)