@misc{misc, title = {{Building a refinement checker for Z}}, url = {{https://doi.org/10.4204/EPTCS.55 }}, year = {{2011}}, month = {{6}}, author = {{Derrick J and North S and Simons AJH}}, doi = {{10.4204/EPTCS.55.3}}, note = {{Accessed on 2025/07/15}}}