Anti-pattern matching modulo (2007)

by C Kirchner, R Kopetz, P Moreau
Venue:Report, INRIA & LORIA