S. Dey and S. Bhattacharya, “Formal Software Design Technique – A Pattern Based Approach”, INFOCOMP Journal of Computer Science, vol. 9, no. 2, pp. 27–38, Jun. 2010.