@inproceedings {RP-90-09,
	title = {Modular Synthesis of Free Choice Nets},
	year = {1990},
	author = {J. Esparza and M. Silva}
}

