Design patterns formalization techniques - Taibi 1969- (IGI Publishing, 2007)