Dey, S. and Bhattacharya, S. (2010) “Formal Software Design Technique – A Pattern Based Approach”, INFOCOMP Journal of Computer Science, 9(2), pp. 27–38. Available at: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300 (Accessed: 29 April 2024).