@article{TOOLS-EUROPE-J-2011-IngesmanE12,
	author        = "Matthias Diehn Ingesman and Erik Ernst",
	doi           = "10.5381/jot.2012.11.1.a2",
	journal       = "{Journal of Object Technology}",
	number        = 1,
	pages         = "1--23",
	title         = "{Lifted Java: A Minimal Calculus for Translation Polymorphism}",
	volume        = 11,
	year          = 2012,
}