Taibi, Toufik Design patterns formalization techniques - New York IGI publishing 2007 - xiii,384p. ISBN: 9781599042190 Subjects--Index Terms: Software pattern Computer science Software architecture