DEY, Shouvik; BHATTACHARYA, Swapan. Formal Software Design Technique – A Pattern Based Approach. INFOCOMP Journal of Computer Science, [S. l.], v. 9, n. 2, p. 27–38, 2010. Disponível em: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300. Acesso em: 23 nov. 2024.