@book{89519,
	author = {Devadas, Srini,},
	title = {Programming for the puzzled :},
	publisher = {The MIT Press,},
	year = {2017},
	address = {Cambridge, Massachusetts :}
}