The spy: A mechanism for safe implementation of highly concurrent systems | Publicación