EFTIME, Petre; MOGOŞANU, Lucian; CARABAŞ, Mihai; DEACONESCU, Răzvan; GHEORGHE, Laura; VOICULESCU, Valentin Gabriel. Optimizing Memory Usage in L4-Based Microkernel. COMPUTING AND INFORMATICS, [S. l.], v. 36, n. 4, p. 925–949, 2017. Disponível em: https://www.cai.sk/ojs/index.php/cai/article/view/2017_4_925. Acesso em: 4 may. 2024.