@book{23611,
	author = {Pang},
	title = {Formal Verification Of Distributed Systems}
}