Software synthesis shell SOFTEX/S. - Toru Yamanouchi; Akiyoshi Sato; Minoru Tomobe; Hiroshi Takeuchi; Jun Takamura; Masanobu Watanabe (KBSE, 1992)

Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S. - Akiyoshi Sato; Minoru Tomobe; Toru Yamanouchi; Masanobu Watanabe; Masashi Hijikata (KBSE, 1995)

Software synthesis for trade-off design. - Akiyoshi Sato; Masato Miki; Toru Yamanouchi; Masanobu Watanabe (KBSE, 1996)

Software Synthesis Shell Softexshell and its Application to Switching Service Software. - Toru Yamanouchi; Akiyoshi Sato; Masanobu Watanabe; Hiroyuki Watanabe; Hiromitsu Yamanaka (Int. J. Artif. Intell. Tools, 1996)

Distributed Cooperative Formal Methods Tools. - Joseph A. Goguen; Kai Lin; Akira Mori; Grigore Rosu; Akiyoshi Sato (ASE, 1997)