TY - BOOK T1 - Refinement UR - https://doi.org/10.1007/978-3-319-92711-4 PY - 2018/09/03 AU - Derrick J AU - Boiten E ED - DO - DOI: 10.1007/978-3-319-92711-4 PB - Springer International Publishing SN - 9783319927091 Y2 - 2025/11/27 ER -