Characterizing Transactional Memory Consistency Conditions Using Observational Refinement | Publicación