@book{10118,
	author = {International Workshop on Automated and Algorithmic Debugging and Fritzson, Peter A.,},
	title = {Automated and algorithmic debugging : First International Workshop, AADEBUG'93, Linkoping, Sweden, May 3-5, 1993 : proceedings /},
	publisher = {Springer-Verlag,},
	year = {1993},
	address = {Berlin :}
}