@book{70477,
	author = {Moller, Faron,},
	title = {Logics for concurrency :},
	publisher = {Springer,},
	year = {1996},
	address = {Berlin :}
}