R. Silva and J. Alcântara.
"ASPIC? and the Postulates of Non-interference and Crash-Resistance", in <em>Anais da X Brazilian Conference on Intelligent Systems</em>, Online, 2021.