@article{journals/tse/CheathamHT79,
	title = {Symbolic Evaluation and the Analysis of Programs.},
	author = {Thomas E. Cheatham Jr. and Glenn H. Holloway and Judy A. Townley},
	journal = {IEEE Trans. Software Eng.},
	number = {4},
	pages = {402-417},
	url = {http://dblp.uni-trier.de/db/journals/tse/tse5.html#CheathamHT79},
	volume = {5},
	year = {1979},
	biburl = {http://www.bibsonomy.org/bibtex/28472649ccd3420481d2ca34dbb3cdc0d/dblp},
	description = {dblp},
	date = {2003-11-19},
	keywords = {dblp }
}