Colin F. Snook, Rachel Harrison: Experimental comparison of the comprehensibility of a Z specification and its implementation in Java. Inf. Softw. Technol. 46(14): 955-971 (2004)