Practical Metrics for Z Specifications
WU Fang-jun, YI Tong
Journal of Applied Sciences . 2005, (1): 6 -11 .