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, http://177.105.60.18/index.php/infocomp/article/view/300.