@book{36426,
	author = {Tavares, Christopher},
	title = {ATL internals :},
	publisher = {Addison-Wesley,},
	year = {2006},
	address = {Upper Saddle River, NJ :},
	edition = {2nd ed.}
}