Describir: Program specification a tranformation :