@article{TOOLS-USA-2002-LacknerKP,
	author        = "Martin Lackner and Andreas Krall and Franz Puntigam",
	doi           = "10.5381/jot.2002.1.3.a4",
	journal       = "{Journal of Object Technology}",
	number        = 3,
	pages         = "57--76",
	title         = "{Supporting Design by Contract in Java}",
	volume        = 1,
	year          = 2002,
}