Colin F. Snook Rachel Harrison Experimental comparison of the comprehensibility of a Z specification and its implementation in Java. 955-971 2004 46 Information & Software Technology 14 http://dx.doi.org/10.1016/j.infsof.2004.04.003 db/journals/infsof/infsof46.html#SnookH04