Design patterns formalization techniques - Taibi, Toufik (IGI publishing, 2007)