Razali, R. , Garratt, P. (2008). 'Measuring the Comprehensibility of a UML-B Model and a B Model'. World Academy of Science, Engineering and Technology, Open Science Index 23, International Journal of Computer and Systems Engineering, 2(11), 3890 - 3895.