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

Design and Implementation of an Application Interface for LOTOS Processors. - Kazuhito Ohmaki; Hirosato Tsuji; Kenjiroh Yamanaka; Yoshikazu Sato; Yoshinori Itabashi; Toshihiko Shimizu (FORTE, 1991)