Hiroshi Ishikawa 0003 A Specification Construction Unit-Based Editor for Z. 5-6 2005 conf/compsac/2005 COMPSAC (2) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.34 db/conf/compsac/compsac2005-2.html#000305