Zip fusion with hyperfunctions. Available at www.cse.ogi.edu/∼krstic (2000)

by J Launchbury, S Krstic, T Sauerwein