Barreto, L., 		Andrade, A., 		Duran, A., 		Lima, C., & 		Lima, A.
(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>, (pp. 2011-2021). Porto Alegre: SBC.