TY - CONF T1 - Weak Refinement in Z. JO - ZUM UR - https://doi.org/10.1007/BFb0027279 PY - 1997/01/01 AU - Derrick J AU - Boiten EA AU - Bowman H AU - Steen M ED - Bowen JP ED - Hinchey MG ED - Till D PB - Springer VL - 1212 SP - 369 EP - 388 Y2 - 2024/12/26 ER -