@book{105807,
	author = {Habrias, Henri. and ebrary, Inc.},
	title = {Software specification methods},
	publisher = {ISTE Ltd,},
	year = {2006.},
	address = {London ;},
	edition = {2nd ed.},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10360912}
}