@book {RP-89-01,
	title = {The Spy: A mechanism for safe implementation of highly concurrent systems},
	year = {1989},
	pages = {75-81},
	publisher = {Pergamon Press},
	organization = {Pergamon Press},
	author = {S. Velilla and M. Silva},
	editor = {E.A. Puente}
}

