Pierre Kelsen A Simple Static Model for Understanding the Dynamic Behavior of Programs. 46-51 2004 conf/iwpc/2004 IWPC http://csdl.computer.org/comp/proceedings/iwpc/2004/2149/00/21490046abs.htm db/conf/iwpc/iwpc2004.html#Kelsen04