@book{728,
	author = {Gunter, Carl A.},
	title = {Theoretical aspects of object-oriented programming :},
	publisher = {MIT Press,},
	year = {c1994.},
	address = {Cambridge, Mass. :}
}