Myla Archer Amy Lo Ronald A. Olsson Towards a Transformational Approach to Program Verification. 85-106 1999 9 Softw. Test., Verif. Reliab. 2 db/journals/stvr/stvr9.html#ArcherLO99