Deborah A. Joseph: On the power of formal systems for analyzing linear and polynomial time program behavior. Purdue University, USA 1981