@inproceedings {RP-88-03,
	title = {The spy: a mechanism for safe implementation of highly concurrent systems},
	year = {1988},
	month = {5},
	pages = {95-102},
	author = {S. Velilla and M. Silva}
}

