@inproceedings {RP-82-05,
	title = {Sistemas concurrentes descritos con RdP: Validaci{\'o}n asistida por computador},
	year = {1982},
	month = {1},
	pages = {126-134},
	author = {M. Silva}
}

