Streams with a Bottom in Functional Languages. - Hideki Tsuiki; Keiji Sugihara (ESOP, 2005)