A Mathematical Formalism for Specifying Design Patterns Denver