Barreto, L., 		Andrade, A., 		Duran, A., 		Lima, C., & 		Lima, A.
2010 jul 20.  Especificação Abstrata do Núcleo de um Sistema Operacional e sua formalização na linguagem Z. Anais do Workshop de Sistemas Operacionais (WSO). [Online] :