@article{TOOLS-EUROPE-2007-EkmanH,
	author        = "Torbjörn Ekman and Görel Hedin",
	doi           = "10.5381/jot.2007.6.9.a23",
	journal       = "{Journal of Object Technology}",
	number        = 9,
	pages         = "455--475",
	title         = "{Pluggable checking and inferencing of nonnull types for Java}",
	volume        = 6,
	year          = 2007,
}