@book{218554,
	author = {Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer},
	title = {Specification and Verification of Multi-agent Systems},
	publisher = {Springer US},
	year = {2010},
	address = {New York}
}