Transformational Approach to the Development and Verificatio by Edith G. Deak