@INPROCEEDINGS{SAS:RSY05,
    Author=  "N. Rinetzky and M. Sagiv and E. Yahav",
    Title="Interprocedural Shape Analysis for Cutpoint-Free Programs",
    booktitle="12th International Static Analysis Symposium (SAS)"
    series    = "Lecture Notes in Computer Science",
    publisher = {Springer},
    YEAR = 2005
    }