@book{111711,
	author = {Workshop on Static Analysis (3rd : 1993 : Padova, Italy) and Cousot, Patrick},
	title = {Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings /},
	publisher = {Springer-Verlag,},
	year = {1993},
	address = {Berlin :}
}