The Unofficial Page of Formal And Precise Software Patterns Representation Languages is available at
The page offers a collection of links and information of other resources about precise and formal specification languages for object oriented patterns, as well as tools supporting their application, recognition, and discovery.
CategoryFormalMethods