Hiroshi Ishikawa On a GUI-based Editor for Z Specifications and its Applications. 636-642 2006 conf/serp/2006-2 Software Engineering Research and Practice db/conf/serp/serp2006-2.html#Ishikawa06