@book{43356,
	author = {Asian Computing Science Conference and Cervesato, Iliano.},
	title = {Advances in computer science--ASIAN 2007 :},
	publisher = {Springer,},
	year = {c2007.},
	address = {Berlin ;},
	url = {http://rave.ohiolink.edu/ebooks/ebc/9783540769293}
}