@inproceedings {RP-82-06,
	title = {A package for computer design of concurrent logic control systems},
	year = {1982},
	month = {10},
	pages = {221-226},
	author = {J. Mart{\'\i}nez and M. Silva}
}

