Dey, S., & Bhattacharya, S. (2010). Formal Software Design Technique – A Pattern Based Approach. INFOCOMP Journal of Computer Science, 9(2), 27–38. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300