@book {RP-91-31,
	title = {Compositional synthesis of live and bounded free-choice nets},
	year = {1991},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	author = {J. Esparza and M. Silva}
}

