@book{234210,
	author = {Robinson, David. and ebrary, Inc.},
	title = {Aspect-oriented programming with the e verification language},
	publisher = {Elsevier/Morgan Kaufmann,},
	year = {c2007.},
	series = {The Morgan Kaufmann series in systems on silicon},
	address = {Amsterdam ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10190234}
}