Title: Formal And Precise Software Patterns Representation Languages
Description: An annotated bibliography of articles describing research in the formalization of design patterns, including formal languages, tools supporting the implementation and synthesis of patterns, and position papers.