@book{70516,
	author = {Jackson, Daniel},
	title = {Software abstractions:},
	publisher = {MIT Press,},
	year = {c2012},
	address = {Cambridge, Mass. :},
	edition = {Rev. ed.}
}