BARRETO, Luciano; 						ANDRADE, Aline; 						DURAN, Adolfo; 						LIMA, Caíque; 						LIMA, Ademilson.
 Especificação Abstrata do Núcleo de um Sistema Operacional e sua formalização na linguagem Z. <em>In</em>: WORKSHOP DE SISTEMAS OPERACIONAIS (WSO), 7.	, 2010, Belo Horizonte/MG.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2010
.
 p. 2011-2021.