@book{17384,
	author = {Robinson, David},
	title = {Aspect-Oriented Programming with the Verification Language :},
	publisher = {Elsevier/Morgan Kaufmann,},
	year = {c2007.},
	address = {Amsterdam ;},
	url = {http://www.loc.gov/catdir/toc/ecip0717/2007019636.html}
}