Duncan S. Neary, Martin R. Woodward. Visual Representation of Algebraic Specifications: a User-Oriented Approach. In 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy. pages 62-63, IEEE Computer Society, 2001. [doi]
Abstract is missing.