@MASTERSTHESIS {Master:LA00,
	Title = "{TVLA}: A Framework for {K}leene Based Static Analysis",
	Author ="Tal Lev-Ami",
	Year = 2000,
	School = {Tel Aviv University}
}