@book{39339,
	author = {Abadi, Martín. and Cardelli, Luca.},
	title = {A theory of objects /},
	publisher = {Springer,},
	year = {c1996.},
	address = {New York :}
}