Predictive Software Measures Based on Formal Z Specifications door Abdollah Tabareh