@book{1417,
	author = {Bruce, Kim B},
	title = {Foundations of object oriented languages: Types and semantics},
	publisher = {Prentice Hall },
	year = {2002},
	address = {New Delhi}
}