Igor V. Pottosin Analysis of Program Optimization Possibilities and Further Development. 17-36 1991 90 Theor. Comput. Sci. 1 db/journals/tcs/tcs90.html#Pottosin91