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