Silva, Guilherme, Edward Hermann Haeusler, and Cláudia Nalon.
" Description of Command and Control Networks in Coq." <em>Proceedings of the VI Workshop-School of Theoretical Computer Science,
Online, 2021</em>. SBC, 2021,  
pp.60-67.