TY  - RPRT
TI  - Building a refinement checker for Z
AU  - John Derrick
AU  - Siobhán North
AU  - Anthony J. H. Simons
PY  - 2011
DO  - 10.4204/eptcs.55.3
UR  - https://arxiv.org/abs/1106.4092
ID  - 1106.4092
ER  -