Dey, Shouvik, and Swapan Bhattacharya. 2010. “Formal Software Design Technique – A Pattern Based Approach”. INFOCOMP Journal of Computer Science 9 (2):27-38. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300.