Abstract specification and formalization of an operating system kernel in Z. - Luciano Barreto; Aline Andrade; Adolfo Duran; Caique Lima; Ademilson Lima (ACM SIGOPS Oper. Syst. Rev., 2011)