| |
| 1991 | ||
|---|---|---|
| 2 | Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu: Design and Implementation of an Application Interface for LOTOS Processors. FORTE 1991: 345-360 | |
| 1990 | ||
| 1 | Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato: Incremental specification in LOTOS. PSTV 1990: 183-196 | |
| 1 | Haruhisa Ichikawa | [1] |
| 2 | Yoshinori Itabashi | [2] |
| 3 | June Kato | [1] |
| 4 | Kazuhito Ohmaki | [2] |
| 5 | Yoshikazu Sato | [2] |
| 6 | Toshihiko Shimizu | [2] |
| 7 | Hirosato Tsuji | [2] |