@techreport{heb_gles_loew_techrep1:1997,
	author = {Andreas Heberle and Sabine Glesner and Welf L\"owe},
	title = {{Names, Types, and Static Semantic Analysis}},
	institution = {{Universit\"at Karlsruhe}},
	year = 1997,
	type = {{Interner Bericht}},
	number = {13/97},
	month = {June},
	address = {{76128 Karlsruhe}},
}