G. Silva, E. Haeusler, and C. Nalon.
" Description of Command and Control Networks in Coq", in <em>Anais do VI Workshop-Escola de Informática Teórica</em>, Online, 2021, pp. 60-67, doi: <a href="https://doi.org/10.5753/weit.2021.18923">https://doi.org/10.5753/weit.2021.18923</a>.