Silva, R., & 		Alcântara, J.
(2021).
 ASPIC? and the Postulates of Non-interference and Crash-Resistance.
In <em>Anais da X Brazilian Conference on Intelligent Systems</em>. Porto Alegre: SBC.