@inbook {ICEsSi91b,
	title = {Top-Down Synthesis of Live and Bounded Free Choice Nets},
	booktitle = {Advances in Petri Nets 91},
	volume = {524},
	year = {1991},
	pages = {118-139},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	address = {Berlin},
	author = {J. Esparza and M. Silva},
	editor = {G. Rozenberg}
}

