Applying cognitive dimensions to evaluate and improve the usability of Z formalism.