@MastersThesis{Master:Rinetzky01,
    Author="Noam Rinetzky",
    title="Interprocedural Shape Analysis",
    School="Technion Israel Institute of Technology",
    Year=2001
}