Barreto, Luciano, Aline Andrade, Adolfo Duran, Caíque Lima, and Ademilson Lima.
" Especificação Abstrata do Núcleo de um Sistema Operacional e sua formalização na linguagem Z." <em>Anais do VII Workshop de Sistemas Operacionais,
Belo Horizonte/MG, 2010</em>. SBC, 2010,  
pp.2011-2021.