TY - BOOK T1 - Refinement in Z and Object-Z PY - 2001/01/01 AU - Derrick J AU - Boiten E ED - PB - Springer Verlag SN - 9781852332457 Y2 - 2024/12/22 ER -