| |
| 1997 | ||
|---|---|---|
| 1 | EE | Takeshi Hamaguchi, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa: Algebraic specification with provision for the automatic addition of error descriptions. Systems and Computers in Japan 28(1): 1-9 (1997) |
| 1 | Kiyoshi Agusa | [1] |
| 2 | Masahiko Sakai | [1] |
| 3 | Shinichirou Yamamoto | [1] |