SVG Web Environment for Z Specification Language. - Jing Sun 002; Hai H. Wang; Sasanka Athauda; Tazkiya Sheik (ICFEM, 2005)