Barreto, L., 		Andrade, A., 		Duran, A., 		Lima, C., & 		Lima, A.
(2010).
 Abstract Specification of an Operating System Kernel and Its Formalization in the Z Language.
In <em>Proceedings of the 7th Workshop on Operating Systems</em>, (pp. 2011-2021). Porto Alegre: SBC.