todo
Merge branch 'csf14' of ssh://bitbucket.org/russo/fslio into csf14
Merge branch 'csf14' of ssh://bitbucket.org/russo/fslio into csf14
nit on abstract, check Dave and Heiko related work
added author response
Merge branch 'csf14' of ssh://bitbucket.org/russo/fslio into csf14
Ale pass, add reference to coq proof and about NSU
Nit
fixes
checking, still working
more
tweak
more minor tweaks
done; sent
Reviews added
Assignment of tasks
TODO list