@PhdThesis {PhD:Dor03,
	AUTHOR = "Nurit Dor",
	Title ="Automatic Verfication of Program Cleanness",
	School = "Tel Aviv University",
	YEAR = 2003,
	address = "Tel Aviv, Israel"
}