Formal specification of design patterns: A case study. · Study