@InProceedings{erkok-launchbury-moran-fixIO-01,
   author    = "Levent {Erk\"{o}k} and John Launchbury and Andrew Moran",
   title     = "Semantics of {{\em fixIO}}",
   booktitle = "{F}ixed {P}oints in {C}omputer
                {S}cience Workshop, {FICS'01}, Florence, Italy",
   year      = "2001",
   month     = "September",
}