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