@book{12469,
	author = {Tennent, R. D.},
	title = {Principles of programming languages},
	publisher = { : Prentice/Hall International, },
	year = {©1981.},
	address = {Englewood Cliffs, N.J.}
}