Incremental specification in LOTOS. - Haruhisa Ichikawa; Kenjiroh Yamanaka; June Kato (PSTV, 1990)

SDE: Incremental Specification and Development of Communications Software. - Haruhisa Ichikawa; Masaki Itoh; June Kato; Akira Takura; Masashi Shibasaki (IEEE Trans. Computers, 1991)

Functional Data Analysis and Its Application. - Masahiro Mizuta; June Kato (RSKT, 2007)