@book{4812,
	author = { Mett,percy {et. Al.} },
	title = {Specification and design of concurrent systems },
	address = { Mcgraw hill }
}