L. Barreto, A. Andrade, A. Duran, C. Lima, and A. Lima.
" 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>, Belo Horizonte/MG, 2010, pp. 2011-2021.