Dey, S. and Bhattacharya, S. 2010. Formal Software Design Technique – A Pattern Based Approach. INFOCOMP Journal of Computer Science. 9, 2 (Jun. 2010), 27–38.