Silva, R., & 		Alcântara, J.
2021 nov 29.  ASPIC? and the Postulates of Non-interference and Crash-Resistance. Anais da Brazilian Conference on Intelligent Systems (BRACIS). [Online] :