Event structures, causal trees, and refinements