@book {C-DEMON-91,
	title = {Performance Analysis of Live and Bounded Free Choice Systems},
	series = {Studien},
	volume = {198},
	year = {1991},
	month = {9},
	pages = {38-48},
	publisher = {GMD},
	organization = {GMD},
	url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/91_C_DEMON.ps.gz},
	author = {J. Campos},
	editor = {E. Best and J. Esparza}
}

