Automatic verification of design patterns in Java
design patterns : elements of reusable object - oriented software .