@book{17542,
	author = {Michael L. Scott},
	title = {Programming language pragmatics},
	publisher = {Morgan Kaufmann Publishers,},
	year = {2000},
	address = {San Francisco,USA:}
}