A calculational fusion system HYLO. - Yoshiyuki Onoue; Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Algorithmic Languages and Calculi, 1997)