Pierre Kelsen. A Simple Static Model for Understanding the Dynamic Behavior of Programs. In 12th International Workshop on Program Comprehension (IWPC 2004), 24-26 June 2004, Bari, Italy. pages 46-51, IEEE Computer Society, 2004. [doi]
Abstract is missing.