Error description on algebraic specification and its automatic addition. - Takeshi Hamaguchi; Shinichirou Yamamoto; Kiyoshi Agusa; Masahiko Sakai (Syst. Comput. Jpn., 1996)

Algebraic specification with provision for the automatic addition of error descriptions. - Takeshi Hamaguchi; Masahiko Sakai; Shinichirou Yamamoto; Kiyoshi Agusa (Syst. Comput. Jpn., 1997)