@inproceedings {RP-95-10,
	title = {Correcci{\'o}n de programas y Redes de Petri de alto nivel},
	year = {1995},
	month = {6},
	pages = {184-193},
	author = {F. Tricas and J. Mart{\'\i}nez}
}

