@article{SAC-OOPS-J-2006-LagorioZ07,
	author        = "Giovanni Lagorio and Elena Zucca",
	doi           = "10.5381/jot.2007.6.2.a4",
	journal       = "{Journal of Object Technology}",
	number        = 2,
	pages         = "69--98",
	title         = "{Just: Safe Unknown Types in Java-like Languages}",
	volume        = 6,
	year          = 2007,
}