Razali, R and Snook, C. F. and Poppleton, M. R. and Garratt, P. W. and Walters, R. J. (2007) Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. In: 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07).