@book {RP-83-01,
	title = {A package for computer design of concurrent logic control systems},
	year = {1983},
	pages = {243-248},
	publisher = {Pergamon Press},
	organization = {Pergamon Press},
	author = {J. Mart{\'\i}nez and M. Silva},
	editor = {E.A. Puente and G. Ferrate}
}

