@book{225692,
	author = {Harry D. Foster, Adam C. Krolnik},
	title = {Creating Assertion-Based IP},
	publisher = {Springer New York},
	year = {2008},
	address = {New York}
}