Kazuhito Ohmaki Hirosato Tsuji Kenjiroh Yamanaka Yoshikazu Sato Yoshinori Itabashi Toshihiko Shimizu Design and Implementation of an Application Interface for LOTOS Processors. 345-360 1991 conf/forte/1991 FORTE db/conf/forte/forte1991.html#OhmakiTYSIS91