Automatic Verification of Java Design Patterns. - Alex Blewitt; Alan Bundy; Ian Stark (ASE, 2001)

Automatic verification of design patterns in Java. - Alex Blewitt; Alan Bundy; Ian Stark (ASE, 2005)

HEDGEHOG : automatic verification of design patterns in Java. - Alex Blewitt (2006)