@book{8755,
	author = {Tennent, RD.},
	title = {Principles ofprogramming languages},
	year = {1987},
	address = {Delhi: Prentice-Hall}
}