Keiichi Yasumoto Teruo Higashino Kota Abe Toshio Matsuura Kenichi Taniguchi A LOTOS Compiler Generating Multi-threaded Object Codes. 271-286 1995 conf/forte/1995 FORTE db/conf/forte/forte1995.html#YasumotoHAMT95