Duncan S. Neary Martin R. Woodward An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic Specifications. 149-175 2002 13 J. Vis. Lang. Comput. 2 http://www.idealibrary.com/links/doi/10.1006/jvlc.2001.0213 db/journals/vlc/vlc13.html#NearyW02