Barreto, L. (2005). Engenharia de Domínio aplicada ao Desenvolvimento Robusto e Eficiente de Sistemas Operacionais. In Proceedings of the 19th Brazilian Symposium on Software Engineering, (pp. 136-151). Porto Alegre: SBC. doi:10.5753/sbes.2005.23816