Dey S, Bhattacharya S. Formal Software Design Technique – A Pattern Based Approach. INFOCOMP Journal of Computer Science [Internet]. 2010 Jun. 1 [cited 2024 Apr. 29];9(2):27-38. Available from: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300