Dey, S.; Bhattacharya, S. Formal Software Design Technique – A Pattern Based Approach. INFOCOMP Journal of Computer Science 2010, 9, 27-38.