@book{book, title = {{Refinement}},
publisher = {{Springer International Publishing}},
url = {{}},
year = {{2018}},
month = {{2}},
author = {{Derrick J and Boiten E}},
doi = {{10.1007/978-3-319-92711-4}},
isbn = {{9783319927091}},
note = {{Accessed on 2025/07/25}}}