Zip fusion with hyperfunctions (2000)

by J Launchbury, S Krstic, T E Sauerwein