@book{book, title = {{Refinement in Z and Object-Z}}, publisher = {{Springer London}}, url = {{}}, year = {{2001}}, month = {{4}}, author = {{Derrick J and Boiten E}}, doi = {{10.1007/978-1-4471-0257-1}}, isbn = {{9781852332457}}, note = {{Accessed on 2025/07/14}}}