Duncan S. Neary Martin R. Woodward Visual Representation of Algebraic Specifications: a User-Oriented Approach. 62-63 2001 conf/vl/2001 HCC http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740062.pdf db/conf/vl/hcc2001.html#NearyW01