TY - BOOK T1 - Refinement in Z and Object-Z PY - 2001/04/13 AU - Derrick J AU - Boiten E ED - DO - DOI: 10.1007/978-1-4471-0257-1 PB - Springer London SN - 9781852332457 Y2 - 2024/12/22 ER -