The Unofficial Page of Formal And Precise Software Patterns Representation Languages is available at 
*** http://www.cs.concordia.ca/~faculty/eden/precise_and_formal/ ( BrokenLink )
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