@book{34520,
	author = {Tennent},
	title = {Principles Of Programming Languages},
	publisher = {-},
	address = {-},
	edition = {-}
}