Transformational Program Analysis

Kevin Lano. Transformational Program Analysis. Softw. Test., Verif. Reliab., 4(3):155-189, 1994.