An Overview of Semantic Models and Static Analysis Techniques for Inductive Data Structures and Pointers.

Alain Deutsch An Overview of Semantic Models and Static Analysis Techniques for Inductive Data Structures and Pointers. 226-229 1995 PEPM db/conf/pepm/pepm95.html#Deutsch95