@book{56513,
	author = {Christensen, Henrik Baerbak},
	title = {Flexible, reliable software :},
	publisher = {Chapman and Hall/CRC,},
	year = {2010},
	series = {Chapman & Hall/CRC textbooks in computing},
	address = {Boca Raton, FL :}
}