Evolvability : A Formal Approach