Barreto, Luciano, 		Andrade, Aline, 		Duran, Adolfo, 		Lima, Caíque, E 		Lima, Ademilson.
" Especificação Abstrata do Núcleo de um Sistema Operacional e sua formalização na linguagem Z" <em>Anais do Workshop de Sistemas Operacionais (WSO)</em> [Online], (20 julho 2010)