@book{33993,
	author = {Desel, Jorg },
	title = {Structures in concurrency theory},
	publisher = {BCS},
	year = {1995},
	address = {Berlin}
}