@inproceedings {RP-90-02,
	title = {Top-down synthesis of live & bounded Free Choice Nets},
	year = {1990},
	month = {6},
	pages = {63-83},
	author = {J. Esparza and M. Silva}
}

