@PhdThesis{PhD:Sagiv91,
    title = "High Level Formalisms for Program Flow Analysis and their use in Compiling",
    Author = "Mooly Sagiv",
    School = "Technion Israel Institute of Technology",
    Year = 1991,
    month = jan
}