Eftime, P., Mogoşanu, L., Carabaş, M., Deaconescu, R., Gheorghe, L., & Voiculescu, V. G. (2017). Optimizing Memory Usage in L4-Based Microkernel. Computing and Informatics, 36(4), 925–949. https://doi.org/10.4149/cai_2017_4_925