Semantics of fixIO (2001)

by Levent Erkök, John Launchbury, Andrew Moran