@book{170901,
	author = {Bruce, Kim B},
	title = {Foundations of object-oriented languages : types and semantics},
	publisher = {PHI},
	year = {2002},
	address = {New Delhi}
}