Yoshiyuki Onoue Zhenjiang Hu Hideya Iwasaki Masato Takeichi A calculational fusion system HYLO. 76-106 1997 conf/alc/1997 Algorithmic Languages and Calculi db/conf/alc/alc1997.html#OnoueHIT97