@book{5801,
	author = {Tennent, R.D. },
	title = {Principles of Programming Languages},
	publisher = {Prentice Hall International, Inc.},
	year = {1981},
	series = {Prentice Hall International Series in Computing Science},
	address = {New Jersey}
}
