@article{journals/toplas/Barstow85,
	title = {On Convergence Toward a Database of Program Transformations.},
	author = {David R. Barstow},
	journal = {ACM Trans. Program. Lang. Syst.},
	number = {1},
	pages = {1-9},
	url = {http://dblp.uni-trier.de/db/journals/toplas/toplas7.html#Barstow85},
	volume = {7},
	year = {1985},
	biburl = {http://www.bibsonomy.org/bibtex/26eb1fb374ac303a3be5807d51a7f467d/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/2363.2364}, date = {2006-04-03},
	keywords = {dblp }
}