@book{47216,
	author = {Hayes, Ian and Hayes, Ian},
	title = {Specification Case Studies},
	publisher = {Prentice Hall;},
	year = {1987.},
	address = {London:}
}