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. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/2017_4_925