Formal validation of pattern matching code (2005)

by Claude Kirchner, Pierre-etienne Moreau, Antoine Reilles
Venue:PROCEEDINGS OF PPDP 2005