A Prototype on GUI Based Editor for Z Specifications. - Hiroshi Ishikawa 003 (Software Engineering Research and Practice, 2004)

A Specification Construction Unit-Based Editor for Z. - Hiroshi Ishikawa 003 (COMPSAC (2), 2005)

On a GUI based Editor for the Z Notation. - Hiroshi Ishikawa 003 (Software Engineering Research and Practice, 2005)

On a GUI-based Editor for Z Specifications and its Applications. - Hiroshi Ishikawa 003 (Software Engineering Research and Practice, 2006)