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