https://bookem.ir/books/1223280-Design-Patterns-Formalization-Techniques