@article{TOOLS-USA-2003-Madsen04,
	author        = "Per Madsen",
	doi           = "10.5381/jot.2004.3.4.a1",
	journal       = "{Journal of Object Technology}",
	number        = 4,
	pages         = "5--21",
	title         = "{Enhancing Design by Contract with Knowledge about Equivalence Partitions}",
	volume        = 3,
	year          = 2004,
}