1. Blewitt, A. (2006). HEDGEHOG: Automatic Verification of Design Patterns in Java (doctoral dissertation). University of Edinburgh, Edinburgh.
2. Gamma, E., Helm, R., Johnson, R., & Vlissides, J. (1994). Design Patterns: Elements of Reusable Object-Oriented Software. Boston: Addison-Wesley Professional.
3. Mehlitz, P. C., & Penix, J. (2003). Design for Verification Using Design Patterns to Build Reliable Systems. Proc. Work. on Component-Based Soft. Eng.
4. Metsker, S. J. (2004). Design Patterns in C# 1st Edition. Boston: Addison-Wesley Professional.
5. Nicholson, J., et al. (2014). Automated verification of design patterns: A case study. Science of Computer Programming, 80, 211-222. doi:10.1016/j.scico.2013.05.007