@book {RP-91-30,
	title = {Top-down synthesis of live and bounded free choice nets},
	volume = {524},
	year = {1991},
	pages = {118-139},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	author = {J. Esparza and M. Silva},
	editor = {G. Rozenberg}
}

