@article{TOOLS-USA-2003-EnselmeFL04,
	author        = "Daniel Enselme and Gerard Florin and Fabrice Legond-Aubry",
	doi           = "10.5381/jot.2004.3.4.a2",
	journal       = "{Journal of Object Technology}",
	number        = 4,
	pages         = "23--45",
	title         = "{Design by Contract: analysis of hidden dependencies in component based application}",
	volume        = 3,
	year          = 2004,
}