TY - CONF T1 - Non-atomic refinement in Z and CSP JO - ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS PY - 2005/01/01 AU - Derrick J AU - Wehrheim H ED - Treharne H ED - King S ED - Henson M ED - Schneider S VL - 3455 SP - 24 EP - 44 Y2 - 2025/08/13 ER -